Tags: #git #github
master.git remote add upstream <github.com/user/repo.git>).git checkout mastergit 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>.