maintainers: disallow noreply.github.com emails

This commit is contained in:
Naïm Favier 2023-01-05 14:43:03 +01:00
parent c165d8de6f
commit 93dc2de29a
No known key found for this signature in database
GPG Key ID: 95AFCE8211908325

View File

@ -30,6 +30,8 @@ let
echo -e " githubId = $id;\n"
'' ++ lib.optional (checkedAttrs.email == null && checkedAttrs.github == null && checkedAttrs.matrix == null) ''
echo ${lib.escapeShellArg (lib.showOption prefix)}': At least one of `email`, `github` or `matrix` must be specified, so that users know how to reach you.'
'' ++ lib.optional (checkedAttrs.email != null && lib.hasSuffix "noreply.github.com" checkedAttrs.email) ''
echo ${lib.escapeShellArg (lib.showOption prefix)}': If an email address is given, it should allow people to reach you. If you do not want that, you can just provide `github` or `matrix` instead.'
'';
in lib.deepSeq checkedAttrs checks;