[RFC]: scripts/lint-commits: report github noreply emails

[paper42]

ping @sgn

[Chocimier]

What's the point of asking for mail, when know github account of commiter?

[ericonr]

This is a big policy matter, because it means we won't accept contributions via GitHub UI anymore. Are we sure about it?

[paper42]

I sometimes contact package maintainers by email when I want to let them know about something (that's not suitable for an issue and they are not on IRC). I didn't have to contact a maintainer who doesn't have their email address public yet.

Also, people who have a github noreply email address often make their pull requests from the Github UI. I think that by itself is fine, but there is a higher probability that these changes are not well tested. Adding an email address shouldn't be a big problem for people. Void already requires email addresses in the maintainer field in package templates.

This is just a lint, so exceptions can be made, but I think having this information can be valuable.

This is a big policy matter, because it means we won't accept contributions via GitHub UI anymore. Are we sure about it?

When people add a public email address to their account, they can use that address in the Github UI.

[paper42]

This proposal doesn't seem to have support among team members, closing.