Skip to content

Instantly share code, notes, and snippets.

Working from home

Sebastian Golasch asciidisco

Working from home
View GitHub Profile
piscisaureus /
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 =

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:

View gist:4031632
define([ 'jquery' ], function($) {
var MyPlugin = function(domNode) {
$.fn.myPlugin = function() {
new MyPlugin( this );
return MyPlugin;
View smoothScroll.js
(function($) {
$.fn.smoothScroll = function() {
return this.on('click', function() {
var hash = $(this).attr('href');
var dest = $(hash).offset();
$('html:not(:animated),body:not(:animated)').animate({scrollTop:, scrollLeft: dest.left}, 500, function() {
window.location.hash = hash;