Skip to content

Instantly share code, notes, and snippets.

@moret
moret / pr.md
Last active August 29, 2015 14:27 — 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 = git@github.com: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:

body {
background-color: #fdf6e3;
color: #657b83;
font-size: 14px;
white-space: pre;
font-family: "Menlo", monospace;
}
.property {
font-weight: bold;