diff options
| -rw-r--r-- | Annex/TaggedPush.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Annex/TaggedPush.hs b/Annex/TaggedPush.hs index 44a1a0eb0..2a5f823fd 100644 --- a/Annex/TaggedPush.hs +++ b/Annex/TaggedPush.hs @@ -49,6 +49,10 @@ fromTaggedBranch b = case split "/" $ show b of taggedPush :: UUID -> Maybe String -> Git.Ref -> Remote -> Git.Repo -> IO Bool taggedPush u info branch remote = Git.Command.runBool [ Param "push" + -- This 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 "--force" , Param $ Remote.name remote , Param $ refspec Annex.Branch.name , Param $ refspec branch |