Prevent usage of github's noreply mail addresses?

Summary

In the recent past I noticed multiple times that contributors use the generic 'noreply' mail that Github provides for their users as the mail associated with their Eclipse account and for submitting contributions (which pass the ECA). The mail usually has the form:
12345678+myGitHubUsername@users.noreply.github.com

Since it is a 'noreply' mail I assume it's not possible to really contact one through that mail and e.g. if that contributor becomes a committer mailing lists will then probably also not work.

Therefore I wonder if using a noreply-github mail is discouraged and should be forbidden?

See also https://docs.github.com/en/account-and-profile/setting-up-and-managing-your-personal-account-on-github/managing-email-preferences/setting-your-commit-email-address

Priority

• Urgent
• High
• Medium
• Low

Severity

• Blocker
• Major
• Normal
• Low