PRs do basically the right thing when you force push to them