Tactical Technical Strike

Musings, Thoughts, Notes, & a brain dump of what I come across

Managing, Updating PRs on GitHub

Posted on | December 28, 2016 | No Comments

If you maintain anĀ open source project, you’ve probably experienced having to manage out of date forks/PRs that you don’t have write access to. Luckily, there’s a trick to that:

 

## updating forks/prs locally
git pull origin gh-pages
git fetch origin pull/{}/head:pr-{}
git checkout pr-{}
git pull origin pull/{}/head
git merge gh-pages
git checkout gh-pages
git merge pr-{}
git push origin gh-pages

Comments

  • Links, feeds, and all the other info that I need to be fully self-indulgent, shared, and organized. These links and widgets are subject to change.