On Tue, 2005-09-13 at 12:26 -0500, Chris Adams wrote: > Once upon a time, Jeremy Katz <katzj@xxxxxxxxxx> 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 -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-devel-list
