STEIN git push origin --delete $(git rev-parse --abbrev-ref HEAD) Sometimes, the best way to fix a bug is to nuke the entire branch.