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

[ambv]

This solves issues with stale remote branches without having to keep track of them explicitly.