This has come up for Wikimedia's Gerrit, too[0]. Wikimedia opts to close PRs with a message saying (tl;dr): this is a read-only mirror, contribute via Gerrit.

This has come up for Wikimedia's Gerrit, too[0]. Wikimedia opts to close PRs with a message saying (tl;dr): this is a read-only mirror, contribute via Gerrit. Importing from GitHub seems like it might be a bad experience except for drive-by commits (which are valuable and Wikimedia misses out on). Mirroring to GitHub is sensible—(1) Dependabot (2) Nice code browser (3) this is a perk of working on open projects: your name shows up in GitHub (the default place for open source developers) next to the project. But there's no trivial way to make it clear for developers that your repo is a mirror (outside of the description). It would be nice if there were a button in the UI to make it clear a mirror is a mirror (e.g., to show up in searches for `mirror:true`[1]). It seems like this requires Special Privileges™ somewhere... [0]: <https://phabricator.wikimedia.org/T37497 https://phabricator.wikimedia.org/T37497> [1]: <https://github.com/search?q=mirror%3Atrue&type=repositories https://github.com/search?q=mirror%3Atrue&type=repositories>