added git alias to delete remotely merged branches
This commit is contained in:
parent
b7fd9b6523
commit
1ad15d59b2
1 changed files with 2 additions and 0 deletions
|
|
@ -98,3 +98,5 @@ alias zshrc="vim ~/.zshrc"
|
||||||
|
|
||||||
alias mount-institut='kinit -kt "$HOME/keytabs/cta1233.keytab" cta1233@KERBEROS.TU-HARBURG.DE && mount /TUHH/Institut'
|
alias mount-institut='kinit -kt "$HOME/keytabs/cta1233.keytab" cta1233@KERBEROS.TU-HARBURG.DE && mount /TUHH/Institut'
|
||||||
alias mount-lehre='kinit -kt "$HOME/keytabs/cta1233.keytab" cta1233@KERBEROS.TU-HARBURG.DE && mount /TUHH/Lehre'
|
alias mount-lehre='kinit -kt "$HOME/keytabs/cta1233.keytab" cta1233@KERBEROS.TU-HARBURG.DE && mount /TUHH/Lehre'
|
||||||
|
|
||||||
|
alias git-delete-merged="git branch --merged main | grep -v '^[ *]*main$' | xargs git branch -d"
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue