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
@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