Skip to content

Instantly share code, notes, and snippets.

@michaelwills
michaelwills / inject.js
Last active November 24, 2015 12:59 — forked from timnew/gist:3137257
Inject Javascript to current page
javascript:var s = 'http://code.jquery.com/jquery-1.7.2.min.js'; var b=document.body;if(b){void(z=document.createElement('script'));void(z.type='text/javascript');void(z.src=s);void(b.appendChild(z));}else{}
@michaelwills
michaelwills / pr.md
Created February 17, 2018 05:18 — 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: