fix name of gitremote-helpers
The git man page has that name.
This commit is contained in:
parent
7a9633312e
commit
90b389369f
2 changed files with 2 additions and 2 deletions
|
@ -25,7 +25,7 @@ run (_remotename:address:[]) = forever $
|
||||||
"capabilities" -> putStrLn "connect" >> ready
|
"capabilities" -> putStrLn "connect" >> ready
|
||||||
"connect git-upload-pack" -> go UploadPack
|
"connect git-upload-pack" -> go UploadPack
|
||||||
"connect git-receive-pack" -> go ReceivePack
|
"connect git-receive-pack" -> go ReceivePack
|
||||||
l -> giveup $ "git-remote-helpers protocol error at " ++ show l
|
l -> giveup $ "gitremote-helpers protocol error at " ++ show l
|
||||||
where
|
where
|
||||||
(onionaddress, onionport)
|
(onionaddress, onionport)
|
||||||
| '/' `elem` address = parseAddressPort $
|
| '/' `elem` address = parseAddressPort $
|
||||||
|
|
|
@ -21,7 +21,7 @@ service, its first line is used as the authtoken.
|
||||||
|
|
||||||
# SEE ALSO
|
# SEE ALSO
|
||||||
|
|
||||||
git-remote-helpers(1)
|
gitremote-helpers(1)
|
||||||
|
|
||||||
[[git-annex]](1)
|
[[git-annex]](1)
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue