Use `git push -f` when pushing into backport branches#32

ambv merged 2 commits intomainpython/cherry-picker:mainfrom

git-push-f-into-backport-branchespython/cherry-picker:git-push-f-into-backport-branchesCopy head branch name to clipboard