On Tue, Dec 01, 2020 at 11:10:32AM -0800, Junio C Hamano wrote: > > Would you want to get the maintainer to also push to it as part of the > > regular push-out, so there is never any mirror lag? > > The maintainer does not want to push to more repositories than he > currently does. I think the one at googlesource.com is a mere > mirror out of k.org and not something I push directly into. That's fair. I definitely don't want to create more work for you. My only concern would be if the mirror is lagged, etc; but you covered all of that and more in your other response, so I can shut up now. :) -Peff
