- Hookshot
- Adblock
This will delete branches that have already been merged. Good for cleaning up local repos. Wont delete your current branch.
git branch --merged | grep -v "\*" | xargs -n 1 git branch -d
Saved here for my own reference but all credit to this guy: http://stevenharman.net/git-clean-delete-already-merged-branches
WARNING: This will only spare your current branch. Remember that you might lose master/staging/etc if you're not currently on that branch.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# .bash_profile | |
# | |
# This is a heavyweight bash profile, which makes your workstation more | |
# usable. | |
# Lion uses a derpy CC by default. This will fix that. | |
export CC=/usr/bin/gcc-4.2 | |
# Pull in the whatever aliases you might have. |