FTR: no need to, If you can use push with --force on the PR branch

—
Reply to this email directly or view it on GitHub.