I love git

[James Laver]

On Sun, Oct 28, 2012 at 12:06 PM, David Cantrell <david at cantrell.org.uk> wrote:
> Lovely.
>
> Now, having deleted the branch on one machine, and pushed the delete to
> github, how do I make it disappear everywhere else that I've got a copy
> of the repo?

git push origin :branchname # note the significant colon

Assuming your remote for github is 'origin'. You can also specify
another branch to the left of the colon (e.g. foo:bar to push local
branch foo to remote branch bar)

/j