On Tue, May 1, 2012 at 06:21, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Michael Witten <mfwitten@xxxxxxxxx> writes: > >> Here's a start for a more precise discussion. > > When does the "Cache server" updated from the "$uri_for_central_repo" in > this picture? If it is after push by either from Machine A or B, somebody > needs to reconcile that and whatever A/B pushed. > > And between Hg style "split head" or Git style refs/remotes/* namespaces > there is no difference to perform that reconcilation. Somebody needs to > run "merge" on the "Cache server" and at some point the result needs to be > pushed to the $uri_for_central_repo back. > > So... Examples of pushing to the central repo and updating the cache repo are given at the bottom. -- 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