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:
| #!/bin/zsh | |
| # Copyleft 2010 paradoxxxzero All wrongs reserved | |
| # With contribution from James Ahlborn | |
| # https://gist.github.com/752727 | |
| # Fork of https://gist.github.com/586698 by nicoulaj / dingram / roylzuo ... | |
| # From http://www.zsh.org/mla/users/2010/msg00692.html | |
| # Token types styles. | |
| # See http://zsh.sourceforge.net/Doc/Release/Zsh-Line-Editor.html#SEC135 |
| -- Forked from http://personal.cis.strath.ac.uk/~conor/fooling/Jigger.agda | |
| module Jigger where | |
| data Nat : Set where | |
| zero : Nat | |
| suc : Nat -> Nat | |
| _+_ : Nat -> Nat -> Nat | |
| zero + n = n | |
| suc m + n = suc (m + n) |
| #include <iostream> | |
| #include <type_traits> | |
| #include <string> | |
| // primality test | |
| template<int N, int M> | |
| struct divides | |
| { | |
| enum { value = ((N%M) == 0) || divides<N, M-1>::value }; |
