"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 13629341e6147d3c0dd819948059f80d6d515985
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