Skip to content

Instantly share code, notes, and snippets.

@piscisaureus
piscisaureus / pr.md
Created August 13, 2012 16:12
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:

// ------------------------------------------------------------
@mixin group-1 { @media (max-width: 399px) { @content }}
@mixin group-2 { @media (min-width: 400px) { @content }}
@mixin group-3 { @media (min-width: 600px) { @content }}
@mixin group-4 { @media (min-width: 1008px) { @content }}
// ------------------------------------------------------------
.fixed-margins {