New Issue was created. Issue 86: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/86 Author: Michael Gratton Assignee:
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. [Example 1](https://github.com/GNOME/geary/pull/20#issuecomment-445525667). [Example 2](https://piggo.space/objects/641896b2-ed21-4a9a-8b8e-d41489775bec). Back before GNOME switched to GitHub, the GitLab mirror was possibly a good idea, but today there's really no need for it. -- View it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/86 You're receiving this email because of your account on gitlab.gnome.org.
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
