Infrastructure | GitHub mirror considered harmful (#86)

[Michael Gratton <gitlab-issues gnome org>]

Title: GitLab

Michael Gratton created an issue:

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. Example 2.

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.
You're receiving this email because of your account on gitlab.gnome.org. If you'd like to receive fewer emails, you can unsubscribe from this thread or adjust your notification settings.