I love git

Leo Lapworth leo at cuckoo.org
Sun Oct 28 12:13:27 GMT 2012

On 28 October 2012 12:06, David Cantrell <david at cantrell.org.uk> wrote:

> 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 help remote

You are looking for 'prune'



More information about the london.pm mailing list