On Thu, Oct 9, 2008 at 10:14 AM, Kevin Green wrote: > After topic branches are merged to master, we do some cleanup by deleting them > from the shared repo. > > One of the issues we have is that _my_ local repos remote branches aren't kept > in sync with the shared repo. ... > I'd like some comment on whether our workflow could use some improvement. > Specifically, if there's a straightforward way to handle the issue above, that > would be great. I've been looking through the manual on git-fetch and > git-pull and not seeing any options to do this. Is "git remote prune" what you're looking for? Peter Harris -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
