On Tue, 2005-09-13 at 12:26 -0500, Chris Adams wrote:
Once upon a time, Jeremy Katz <katzj(a)redhat.com> said:
> This part should be fixed with today's push (which is on the main server
> and should be propagating to mirrors)
Things bring up a question: what time does the push to the master finish
typically?
The thing I can say definitively is what time the builds start. And
that's 5 am Eastern (US) time (`TZ=America/New_York date` if you're
unclear on your offset from that :)
The completion time depends on a number of factors including:
* build system congestion
* did we break something
* did the build hang for some reason
Right now, I've got my mirror set to start syncing rawhide at
8am
(Central time). That worked fine before, but now I've noticed that most
days I don't get a synced tree (which makes it mostly broke). What is
the best practice for this?
Generally speaking, that's probably an okay time. If you push it back
an hour or two, you're more likely to be good. If you're a mirror,
though, I'd just try to do hourly syncs of the development tree. It
really should only end up being a bandwidth hit once a day and if not,
it's because we screwed something up and had to push something different
manually.
Also, using --delete-after and --delay-updates can help to reduce the
window during which things are inconsistent.
Jeremy