`git push -f` は絶対悪という風潮がありますが、私は PR 上のこれまで会話の流れとかに矛盾が起きない限りは割と遠慮なく使います