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/sh | |
| # install into /etc/ppp/ip-down | |
| # chmod a+x /etc/ppp/ip-down | |
| source /etc/ppp/ip.config | |
| case "${IPREMOTE}" in | |
| ${MY_IPREMOTE}) | |
| /sbin/route delete ${MY_ROUTE} -interface ${IFNAME} |
| #!/bin/bash | |
| unshared () { | |
| grep '^[0-9]\+$' "$1" > /dev/null | |
| } | |
| for cpu in $(ls -d /sys/devices/system/cpu/cpu[0-9]* | sort -t u -k 3 -n); do | |
| echo "${cpu##*/}: [Package #$(cat $cpu/topology/physical_package_id), Core #$(cat $cpu/topology/core_id)]" | |
| if ! unshared $cpu/topology/core_siblings_list; then | |
| echo " same package as $(cat $cpu/topology/core_siblings_list)" |
