Skip to content

Instantly share code, notes, and snippets.

@aheckmann
Created December 2, 2011 18:30
Show Gist options
  • Save aheckmann/1424306 to your computer and use it in GitHub Desktop.
Save aheckmann/1424306 to your computer and use it in GitHub Desktop.
#!/bin/bash
echo deleting branch $1
git push origin :$1
git branch -D $1
@aheckmann
Copy link
Author

super simple cleanup after merging pull requests through the github ui.

@tj
Copy link

tj commented Dec 2, 2011

haha nice! I call mine gdb too

alias gd="git diff | mate"
alias ga="git add"
alias gbd="git branch -D"
alias gst="git status"
alias gca="git commit -a -m"
alias gm="git merge --no-ff"
alias gpt="git push --tags"
alias gp="git push"
alias grh="git reset --hard"
alias gb="git branch"
alias gcob="git checkout -b"
alias gco="git checkout"
alias gba="git branch -a"
alias gcp="git cherry-pick"
alias gl="git log --pretty='format:%Cgreen%h%Creset %an - %s' --graph"

@aheckmann
Copy link
Author

looks a lot like my list :)

@tj
Copy link

tj commented Dec 2, 2011

learnboosters think alike :D

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment