Re: Retiring the GitHub mirrors

[Alyssa Rosenzweig]

> Among the people present in this discussion, the consensus was that we
> should delete them.

I wasn't present but +1 from me.