Retiring the GitHub mirrors

Hello everyone,

For many years now, we have maintained mirrors of numerous FDo projects
on GitHub, under the following organisations:
https://github.com/freedesktop
https://github.com/mesa3d
https://github.com/wayland-project

A bit over a month ago, a new security feature in git started preventing
our script from updating these repos, which wasn't noticed right away
due to people being on holiday. The question that has come up as
a result is whether there is any need to keep working on these mirrors,
or whether they should be deleted instead.

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

If you need to keep the mirror for your repo alive, you can set up
push mirroring from GitLab [1], and let us know by *February 20th*
that we should not delete your repo.

Cheers,
  Eric, on behalf of the FDo admins

[1] https://docs.gitlab.com/ee/user/project/repository/mirror/push.html

-----BEGIN PGP SIGNATURE-----

iQEzBAABCAAdFiEEV1Ud4VuWj2NBwkj2jY4xr8MkKKYFAmPK3osACgkQjY4xr8Mk
KKbMlgf/bvq7qrqnlHK8IHANtT4IyO5o7bJ2UnJkp2tSP1FnoQSA4lxWE+U7Q0yf
8PaHgjBGpW0co8A3hi798ihCw+T9AxkOFlGnPt/brIgomEP+6kPnYHOeMPEwGcJM
i/rXeOxcD/IahJ8jY3Z8C7B1TocHtKmSBsnm/mJ/XXYcww4BsfgMrEDt7LsllNKu
Rb1djU2/rQ3KieY/DSnRm3IaYVp7Bmy0cWHDyjeMgsYdpu3ZBRB/Dq4DBGY2Sg50
k+Ji1Knb9B6t56EyjEA4UqHlvOsNfrbBsgvr9CyL3IdWPlOI2XZrgMbZLizEfXPp
G1FHB2De5hhegVAKXcPq/wgZZw+A8w==
=8u8B
-----END PGP SIGNATURE-----