I often want to see a PR in the context of our master to play with it. For that often as a first step I want to bring the branch of the PR up to date with our master following these steps:
• git clone repository of PR (master)
• git remote add upstream https://github.com/Microsoft/vscode.git
• git fetch upstream
• git co
• git merge upstream/master
• git push
Would be very cool if I could do these manual steps from within the PR experience!