Hello, it happens frequently that CI discovers failure(s) in non-maintainer commits.
The most striking examples are maintainer-needed, proxy-maint and general pull request where who made the change has no visibility on the new bug. Do you think that is a good idea to CC everyone involved in the commit? Agostino
