URL decoding for username and path
authorJoey Hess <joeyh@joeyh.name>
Wed, 2 Apr 2025 19:29:46 +0000 (15:29 -0400)
committerJoey Hess <joeyh@joeyh.name>
Wed, 2 Apr 2025 19:29:46 +0000 (15:29 -0400)
commitbb04d1e71fe4a9c50c7e34a65a5687aca62e3ed5
tree066542707b621423c2cfc59ff24070aa1201feb7
parentff520b06ac9a8252576e508b158f8253a371ef21
URL decoding for username and path

* Support git remotes that use an url with a user name that is URL encoded.
* Fix git-lfs special remote ssh endpoint discovery when the repository
  path is URL encoded.

In the previous commit, Git.Url.host was made to do URL decoding. That made
me wonder, what about URL encoded username and path? And so to these two
additional fixes. Note that Git.Url.authority remains URL encoded. That
seems ok given how it's used.
CHANGELOG
Git/Url.hs