"I came across a patch from a user who was keen to move himself from "Patch contributors" to "Developers" in the MediaWiki CREDITS file [1]. It had been sitting there for over a year. He doesn't seem to have been active since. I don't know what to do with it. It made me think.
https://www.mediawiki.org/wiki/Special:Version/Credits leads with 'We would like to recognize the following persons for their
contribution to MediaWiki." - if someone is not in that list are they not as important?
My proposal:
[] Abandon concept of developers vs contributors - have a single list
[] Add a page on mediawiki.org to document the policy for being in this list.
[] Put link to this page at top of credits page.
Alternative proposal:
* Abandon CREDITS files, autogenerate this from commit history.
Wikitech-l discussion:
* [July 2016](https://lists.wikimedia.org/pipermail/wikitech-l/2016-July/085985.html)
* [June 2016](https://lists.wikimedia.org/pipermail/wikitech-l/2016-June/085867.html)
* [May 2016](https://lists.wikimedia.org/pipermail/wikitech-l/2016-May/085796.html)