Update local repo after merging a PR

gu.sh

# add this to your ~/.bash_profile or similar

# say you're on a branch `my-feature` and
# you merge the PR for that branch on GitHub
# you can now execute `gu` to run the following

gu () {
  branch=$(git symbolic-ref --short HEAD)
  git checkout master
  git pull
  git remote prune origin
  git branch -d $branch
}