Learn more about these different git repos.
Other Git URLs
1362934
@@ -2012,6 +2012,8 @@
for opt in extra_config:
cmd += ['-c', '%s=%s' % (opt, extra_config[opt])]
cmd.append('push')
+ if force:
+ cmd += ['-f']
if self.quiet:
cmd.append('-q')
self._run_command(cmd, cwd=self.path)
"push --force" is documented to "[f]orce push", but instead just gets silently ignored. This makes it impossible to push non-fast-forward updates to a branch with "push".
This change causes "--force" to set "git push"'s corresponding option "-f".
Signed-off-by: Tim Landscheidt tim@tim-landscheidt.de
Thanks, for the bugfix.
rebased onto 1362934
Pull-Request has been merged by onosek
"push --force" is documented to "[f]orce push", but instead just gets
silently ignored. This makes it impossible to push non-fast-forward
updates to a branch with "push".
This change causes "--force" to set "git push"'s corresponding option
"-f".
Signed-off-by: Tim Landscheidt tim@tim-landscheidt.de