Skip to content

Instantly share code, notes, and snippets.

@alexbartsch
Created December 7, 2016 15:35
Show Gist options
  • Save alexbartsch/0b30e8c835e1c6de876af6ab767ddabb to your computer and use it in GitHub Desktop.
Save alexbartsch/0b30e8c835e1c6de876af6ab767ddabb to your computer and use it in GitHub Desktop.
Script for deleting local and remote branch
#!/bin/bash
git branch -d $1
git push origin :$1
git remote update origin --prune
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment