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:
| /* | |
| * Author: Felipe Herranz (felhr85@gmail.com) | |
| * Contributors:Francesco Verheye (verheye.francesco@gmail.com) | |
| * Israel Dominguez (dominguez.israel@gmail.com) | |
| */ | |
| import java.util.ArrayList; | |
| import java.util.List; | |
| import java.util.concurrent.atomic.AtomicBoolean; | |
| import android.os.Handler; |
| // Use Gists to store code you would like to remember later on | |
| console.log(window); // log the "window" object to the console |