Neither report/gentoo-ci.git nor repo/sync/gentoo.git have been updated in ~15 hours. Could it be poked?
Looks good now, thanks.