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