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:
| /* Read this comment first: https://gist.github.com/tonious/1377667#gistcomment-2277101 | |
| * 2017-12-05 | |
| * | |
| * -- T. | |
| */ | |
| #define _XOPEN_SOURCE 500 /* Enable certain library functions (strdup) on linux. See feature_test_macros(7) */ | |
| #include <stdlib.h> | |
| #include <stdio.h> |
| /** | |
| * This stylesheet will work pretty well with a regular Org Mode HTML export. | |
| * However, you do have to turn off all of the defaults: | |
| * | |
| * (setq org-export-html-style-include-scripts nil | |
| * org-export-html-style-include-default nil) | |
| * | |
| * and insert a call to the stylesheet: | |
| * | |
| * (setq org-export-html-style |
