Skip to content

Instantly share code, notes, and snippets.

View mschlumpp's full-sized avatar

Marco Schlumpp mschlumpp

16 followers · 11 following
  • Unikraft GmbH
  • Germany
View GitHub Profile
@jasonm23
jasonm23 / powerline.el
Created June 17, 2012 18:03
Powerline fancy statusline
;;; mainline.el --- modeline replacement forked from powerline.el
;; Author: Jason Milkins
;; Version: 1.0.2
;; Keywords: statusline / modeline
;;; Changelog:
;; 1.0.1 : added additional xpm shape chamfer14, adjusted chamfer xpm.
;; : mainline-color1, mainline-color2, mainline-arrow-shape
@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 = 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: