Tags: #git #github
master
.git remote add upstream <github.com/user/repo.git>
).git checkout master
git fetch upstream
(convention states we use ‘upstream’ as the name of the remote).git rebase upstream/master
(alternative to fetch/rebase, is git pull --rebase upstream master
).git push origin master
.git branch -d <your-pr-branch>
(the PR branch is no longer needed).git push origin --delete <your-pr-branch>
.