On 28 October 2012 12:06, David Cantrell <da...@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