Remove git alias that has been replaced by a script
More useful git aliases
Script to open a random pull request on a github repo
Make git-fixbranch work with branches that aren't in the history of the current commit