On Fri, 20 Feb 2009 21:44:18 -0500 Mike Kelly <[email protected]> wrote: > On Fri, 20 Feb 2009 23:07:19 +0000 > Ciaran McCreesh <[email protected]> wrote: > > > This is all rather messy, though, and there's still a chance people > > will start their sync at just the wrong time. > > Really? Doesn't git take care of proper locking and what not, so, > people would either get the old cache-ified HEAD (from the last time > the script ran) or the new one, not something in-between?
Only for the same repo. If you sync arbor at 08:30 and foo at 08:31, and foo's using exlibs from arbor, there's a potential mismatch. -- Ciaran McCreesh
signature.asc
Description: PGP signature
_______________________________________________ Exherbo-dev mailing list [email protected] http://lists.exherbo.org/mailman/listinfo/exherbo-dev
