mason.release.branch: pass -f argument to git push to help clean up the mess on the...

diff --git a/extra/mason/release/branch/branch.factor b/extra/mason/release/branch/branch.factor
index 07ec5a8bcd46ff0e6abf2c7978cedac81cc187bd..06923b5d2b9df86648581eb9f76d5ca96d79447b 100644 (file)
--- a/extra/mason/release/branch/branch.factor
+++ b/extra/mason/release/branch/branch.factor
@@ -1,4 +1,4 @@
-! Copyright (C) 2008, 2009 Eduardo Cavazos, Slava Pestov.
+! Copyright (C) 2008, 2010 Eduardo Cavazos, Slava Pestov.
 ! See http://factorcode.org/license.txt for BSD license.
 USING: io.directories io.files io.launcher kernel make
 namespaces prettyprint sequences mason.common mason.config
@@ -11,7 +11,7 @@ IN: mason.release.branch
 
 : push-to-clean-branch-cmd ( -- args )
     [
-        "git" , "push" ,
+        { "git" "push" "-f" } %
         [
             branch-username get % "@" %
             branch-host get % ":" %