| # branch | |
| $ git branch -d BRANCH # delete local BRANCH | |
| $ git push origin :BRANCH # delete remote BRANCH | |
| # tag | |
| $ git tag -d TAG # delete local TAG | |
| $ git push origin :refs/tags/TAG # delete remote TAG |
| find ~ -name '*.log' -print0 | xargs -0 -L1 stat -f'%z %N' | sort -rn | tee fat-logfiles.txt | head | |
| awk '{ total += $1 } END { printf "total: %5.2f MiB\n", total/1024/1024 }' < fat-logfiles.txt |
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: