set remote's annexUrl automatically
authorJoey Hess <joeyh@joeyh.name>
Mon, 29 Jul 2024 00:13:41 +0000 (20:13 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 29 Jul 2024 00:13:41 +0000 (20:13 -0400)
commitbc9cc79e858951c9b80192232b338c238fcf1848
treed929026c1ef8306294b398fb561351868edbd196
parentc87cfe1e00c58931d71b1666160d2544ec2e67f3
set remote's annexUrl automatically

When the remote repository's git config file
has annex.url set to an annex+http url.
Remote/Git.hs
Types/GitConfig.hs
doc/git-annex.mdwn
doc/tips/smart_http_server.mdwn
doc/todo/git-annex_proxies.mdwn