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

db4
Slava Pestov 2010-09-23 23:02:26 -07:00
parent a2a598546f
commit d43d703b36
1 changed files with 2 additions and 2 deletions

View File

@ -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. ! See http://factorcode.org/license.txt for BSD license.
USING: io.directories io.files io.launcher kernel make USING: io.directories io.files io.launcher kernel make
namespaces prettyprint sequences mason.common mason.config namespaces prettyprint sequences mason.common mason.config
@ -11,7 +11,7 @@ IN: mason.release.branch
: push-to-clean-branch-cmd ( -- args ) : push-to-clean-branch-cmd ( -- args )
[ [
"git" , "push" , { "git" "push" "-f" } %
[ [
branch-username get % "@" % branch-username get % "@" %
branch-host get % ":" % branch-host get % ":" %