Rebase to Master: the formula appears to be:
Make sure that we’ve on the PR branch:
git branch -av
If not already done, make sure the branch is compiling and testing cleanly, and that everything is checked in.
Check whether we have an upstream set: