(3) `git push -f <your GH fork remote> maste...
# general
b
(3)
git push -f <your GH fork remote> master:<your PR branch>