This message was deleted.

git push -f

shouldn't mess up future tracking, but the reason why we enforce this is that pushing without rebasing will result in a diff being shown that includes changes from both PRs in the stack.