diff options
author | Joey Hess <joey@kitenet.net> | 2013-03-07 11:09:30 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-03-07 11:09:30 -0400 |
commit | 6fdfae08aebbb65049589727e38df16078ec8b69 (patch) | |
tree | 8a5db82aebd38be50c15257c4c64bd3ec33d6818 /Git | |
parent | 75578197b885be42e8f3a8ddaf1f9f3f3be7726a (diff) |
fix type introduced in 9bce151d
Doubled command name broke show-ref, which broke git annex sync.
Re-read all of 9bce151d to check for other problems.
Diffstat (limited to 'Git')
-rw-r--r-- | Git/Ref.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Git/Ref.hs b/Git/Ref.hs index 26a1fc8bf..c98802cb7 100644 --- a/Git/Ref.hs +++ b/Git/Ref.hs @@ -35,7 +35,7 @@ under dir r = Ref $ dir </> show (base r) {- Checks if a ref exists. -} exists :: Ref -> Repo -> IO Bool exists ref = runBool - [Param "show-ref", Param "show-ref", Param "--verify", Param "-q", Param $ show ref] + [Param "show-ref", Param "--verify", Param "-q", Param $ show ref] {- Checks if HEAD exists. It generally will, except for in a repository - that was just created. -} |