add remoteAnnexP2PHttpUrl to RemoveGitConfig
authorJoey Hess <joeyh@joeyh.name>
Tue, 23 Jul 2024 13:55:14 +0000 (09:55 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 23 Jul 2024 13:57:01 +0000 (09:57 -0400)
commit75b1d50b99bb30b9504d7a5714c0be7b9670f62f
tree78c8eac14387a624d17cd24d0935f075a66ab524
parent5c39652235bb8d0a9527811191fc597443ba1baa
add remoteAnnexP2PHttpUrl to RemoveGitConfig

This is always parsed, when building without servant, a Baseurl is not
generated, and users of it will need to fail.
P2P/Http/Url.hs
Types/GitConfig.hs
doc/todo/git-annex_proxies.mdwn