I love git

[David Cantrell]

On Sat, Oct 27, 2012 at 11:32:08PM +0000, David Flynn wrote:
> * David Cantrell (david at cantrell.org.uk) wrote:
> >Now, my question - can I delete the branch, while still leaving the tag
> >in place?
> Yes, branches (as are tags) are just pointers to commits.  As long as
> a commit is reachable via some pointer, it won't be GC'd.

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?

-- 
David Cantrell | Cake Smuggler Extraordinaire

Today's previously unreported paraphilia is tomorrow's Internet sensation