diff options
author | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2020-08-18 11:30:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-18 11:30:24 +0200 |
commit | fe7bab33d75cece4750fd1a51406a6e8993807ce (patch) | |
tree | 603a9bee932bcd264004acc89327b33665baea70 /maintainers | |
parent | e0c07bc2e26cb612cad4bfdbd5570ad3137b10ea (diff) | |
parent | 83a1f0ac0ae3f3b22b2f946062b7a5538685cf3a (diff) |
Merge pull request #95553 from zowoq/rename-maintainers
maintainers: prefix number with underscore
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index cc3c6b2a2213f..ee019a1e73f0d 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -26,6 +26,13 @@ `handle == github` is strongly preferred whenever `github` is an acceptable attribute name and is short and convenient. + If `github` begins with a numeral, `handle` should be prefixed with an underscore. + ```nix + _1example = { + github = "1example"; + }; + ``` + Add PGP/GPG keys only if you actually use them to sign commits and/or mail. To get the required PGP/GPG values for a key run @@ -41,7 +48,7 @@ See `./scripts/check-maintainer-github-handles.sh` for an example on how to work with this data. */ { - "0x4A6F" = { + _0x4A6F = { email = "mail-maintainer@0x4A6F.dev"; name = "Joachim Ernst"; github = "0x4A6F"; @@ -51,7 +58,7 @@ fingerprint = "F466 A548 AD3F C1F1 8C88 4576 8702 7528 B006 D66D"; }]; }; - "1000101" = { + _1000101 = { email = "b1000101@pm.me"; github = "1000101"; githubId = 791309; @@ -1884,7 +1891,7 @@ githubId = 4971975; name = "Janne Heß"; }; - "dasj19" = { + dasj19 = { email = "daniel@serbanescu.dk"; github = "dasj19"; githubId = 7589338; @@ -8198,7 +8205,7 @@ githubId = 8547242; name = "Stefan Rohrbacher"; }; - "thelegy" = { + thelegy = { email = "mail+nixos@0jb.de"; github = "thelegy"; githubId = 3105057; |