GitHub mirror considered harmful
The GitHub mirror discourages contributions to GNOME projects and should be deleted. In particular, if someone clones a project there and lodges a PR, getting that closed by a robot is essentially flipping the bird at that person.
Back before GNOME switched to GitLab, the GitHub mirror was possibly a good idea, but today there's really no need for it.
Edited by Michael Gratton