diff options
author | Gianni Ceccarelli <gianni.ceccarelli@broadbean.com> | 2020-06-17 14:04:01 +0100 |
---|---|---|
committer | Gianni Ceccarelli <gianni.ceccarelli@broadbean.com> | 2020-06-17 14:04:01 +0100 |
commit | 63e651046f8f3c647ac71a854c4a5ef61fa66a81 (patch) | |
tree | b2917152256965a8166b9fdbe6661b0680a862f9 /.bash_profile | |
parent | better git config (diff) | |
download | dotfiles-63e651046f8f3c647ac71a854c4a5ef61fa66a81.tar.gz dotfiles-63e651046f8f3c647ac71a854c4a5ef61fa66a81.tar.bz2 dotfiles-63e651046f8f3c647ac71a854c4a5ef61fa66a81.zip |
some git stuff
Diffstat (limited to '.bash_profile')
-rw-r--r-- | .bash_profile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.bash_profile b/.bash_profile index 7cd8fe4..23c06ed 100644 --- a/.bash_profile +++ b/.bash_profile @@ -44,6 +44,12 @@ function pm() { emacsclient -c -n "$fn" } +function killmerged() { + for b in $(git branch --merged HEAD --no-contains HEAD|grep -vE 'stage|master|svn|develop'); do + git branch -d $b && git push origin :$b + done +} + export PERLDOC='-MPod::Text::Color::Delight' fortune |