On 10/09/08 11:16:36, Shawn O. Pearce wrote: > Peter Harris <git@xxxxxxxxxxxxxxxxxxx> wrote: > > 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? > Yes, it seems to be exactly what we want, though we'd want it just done instead of having to run it ourselves... :) > I keep meaning to add "git remote prune" logic into "git fetch", > e.g. as a "git fetch --prune" option. fetch has all of the data > it needs to implement the prune already in memory, it just doesn't > have the loop to do the prune cleanup. > > Now that "git remote" is in C it should be easy to share the prune > code between them, and make this more automatic. That would be great... And a config option to have it done by default each time so '$ git-pull' will just do what we want for our origin remote? Thanks --Kevin -- 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
