So the rest of this script actually I'm okay with, except for this little part. In the same way that I don't force push a branch while the PR is open, I don't force push it after rebasing, because it tends to screw up the associated PR and therefore the history associated with it. Do people actually do this?