diff options
Diffstat (limited to 'Annex/TaggedPush.hs')
| -rw-r--r-- | Annex/TaggedPush.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Annex/TaggedPush.hs b/Annex/TaggedPush.hs index 35fdf333c..a31758022 100644 --- a/Annex/TaggedPush.hs +++ b/Annex/TaggedPush.hs @@ -49,13 +49,13 @@ fromTaggedBranch b = case split "/" $ Git.fromRef b of taggedPush :: UUID -> Maybe String -> Git.Ref -> Remote -> Git.Repo -> IO Bool taggedPush u info branch remote = Git.Command.runBool - [ Param "push" - , Param $ Remote.name remote + [ Param "push" + , Param $ Remote.name remote {- Using forcePush here is safe because we "own" the tagged branch - we're pushing; it has no other writers. Ensures it is pushed - even if it has been rewritten by a transition. -} - , Param $ Git.Branch.forcePush $ refspec Annex.Branch.name - , Param $ refspec branch - ] + , Param $ Git.Branch.forcePush $ refspec Annex.Branch.name + , Param $ refspec branch + ] where refspec b = Git.fromRef b ++ ":" ++ Git.fromRef (toTaggedBranch u info b) |