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' Enjoy Leo