Ciaran McCreesh schreef:
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.
If you sync foo in january xxxx and arbor in februari xxxx there's a
potential mismatch too. Perhaps (especially when using git) there's a
sane way for one repository to depend upon a specific version of another
repository, solving the potentional mismatches, only leaving open human
errors.
Regards,
Michael Croes
_______________________________________________
Exherbo-dev mailing list
[email protected]
http://lists.exherbo.org/mailman/listinfo/exherbo-dev
