Skip to content

Instantly share code, notes, and snippets.

View michaelvdnest's full-sized avatar

Michael van der Nest michaelvdnest

1 follower · 1 following
  • Johannesburg
View GitHub Profile
@michaelvdnest
michaelvdnest / vc2017.md
Created May 9, 2018 16:16 — forked from t9md/vc2017.md

I'm t9md

t9md__t9md_.png Presentation1.png

  • My editor history: Vim > Emacs > Vim > Atom
@michaelvdnest
michaelvdnest / pr.md
Created July 12, 2018 09:42 — forked from piscisaureus/pr.md
Checkout github pull requests locally

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = [email protected]:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this: