github mirror no longer updating

[Norbert Thiebaud]

On Mon, Jun 11, 2018 at 11:50 AM, Luke Benes <lukebenes at hotmail.com> wrote:
> For network performance reasons, I have been using the mirror at:
> https://github.com/LibreOffice/core/commits/master
>
>
> But for some reason, it has stopped updating.

Indirect Microsoft takeover effect.
I cancelled my github account...
but gerrit is still using my account to push-replicate :-(

Norbert