]> Frank Brehm's Git Trees - profitbricks/jenkins-build-scripts.git/commitdiff
force delete of old local branch before
authorMathias Klette <mathias.klette@profitbricks.com>
Wed, 16 May 2012 16:15:08 +0000 (18:15 +0200)
committerMathias Klette <mathias.klette@profitbricks.com>
Wed, 16 May 2012 16:15:08 +0000 (18:15 +0200)
debian_build.py

index 9aeaef9b1db7e54aa76d75799547ec3631474294..b0acaab04a61bf50e2171b2611fefb5320f9e423 100755 (executable)
@@ -260,6 +260,7 @@ if __name__ == '__main__':
         gitcmd = git.Git('.')
         logger.debug('%s' %(gitcmd.reset('--hard','HEAD')))
         logger.debug('%s' %(gitcmd.clean('-fdx')))
+        logger.debug('%s' %(gitcmd.branch('-D','%s' %(localname))))
         logger.debug('%s' %(gitcmd.checkout('-b','%s' %(localname),'%s' %(remotename))))
     except Exception, exception:
         raise Exception('Failure while managing Git clone:\n%s' %(exception))