Deprecate maintainer mailing lists

[magnusbaeck]

Description

At the 2022-12-15 TC meeting it was decided to deprecate the maintainer mailing lists.

Motivation

These mailing lists are rarely used and mostly create administrative hurdles since the TC isn't necessarily the owner of them, so it becomes hard to govern them.

Exemplification

N/A

Benefits

Fewer chores, lower risk of ending up with a mailing list that we can't hand over to a new maintainer (if the original maintainer isn't able to help us).

Possible Drawbacks

Unclear. I guess there's a point in having a mailing list to contact maintainers, and we'd lose that.

Steps to Complete

• Deprecate mailing lists on Google groups.
  • Update PROJECTS.md to not link to google groups.
  • Update process for new repos.
  • Remove the google groups that we (TC) see are not needed anymore.
  • Inform Eiffel Community about the decision to not promote the use of google groups anymore.
  • Recommended to use discussion forum in repos instead.

Contact information for existing lists:

Resource	Main Contact
eiffel-protocol-maintainers	TC
eiffel-commons-maintainers	Emil Bäckmark
eiffel-easy2use-repository-maintainers	?
etos-maintainers	Tobias Persson
eiffel-event-repository-maintainers	?
eiffelevents-sdk-go-maintainers	Magnus Bäck
eiffelevents-sdk-dotnet-maintainers	?
eiffel-gerrit-plugin-maintainers	Santosh NC
eiffel-goer-maintainers	Tobias Persson
eiffel-graphql-api-maintainers	Tobias Persson
eiffel-intelligence-maintainers	Daniel Ståhl
eiffel-jenkins-plugin-maintainers	?
eiffel-playground-maintainers	TC
eiffel-pythonlib-maintainers	Tobias Persson
eiffel-remrem-maintainers	?
eiffel-community-maintainers	?
eiffel-sepia-maintainers	TC
eiffel-vici-maintainers	?

[e-backmark-ericsson]

Drawback: If the maintainers don't have notifications set up in a good way they will not see if we contact them by just mentioning them / their team. And if they don't have public email addresses on their GitHub profiles we'll have no way to contact them at all. But on the Google groups there is also an option to opt-out from getting emails sent to the group...