Tactical Technical Strike

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

Managing, Updating PRs on GitHub

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 […]

  • 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.