You've just merged a branch on git. You should delete that branch now:
# Usage: "$ burn <feature branch>"
git branch -D "$1" # Delete branch locally
git push origin :"$1" # Delete branch from remote (GitHub)
Just throw this in your
~/.zshrc, etc. and start burning your branches today!
If that feature branch was named
dopeNewFeature, you'd simple enter
$ burn dopeNewFeature when in master.