diff options
| author | Graham Christensen <graham@grahamc.com> | 2019-08-17 12:17:57 -0400 |
|---|---|---|
| committer | Graham Christensen <graham@grahamc.com> | 2019-08-17 12:17:57 -0400 |
| commit | 5cf50421afb4963c98e1e7eb4783c124ed332e76 (patch) | |
| tree | fa5b8172334e35cf29e4a13098b8c0886fb64749 /maintainers/maintainer-list.nix | |
| parent | c3e1e64e4c54ffa06d12be2c499c0acdfd9faf92 (diff) | |
maintainers: add github IDs to the template, in service of NixOS/rfcs#39
Diffstat (limited to '')
| -rw-r--r-- | maintainers/maintainer-list.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index f559cd4657d..76e0e82eeb5 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -7,6 +7,7 @@ # Optional github = "GithubUsername"; + githubId = your-github-id; keys = [{ longkeyid = "rsa2048/0x0123456789ABCDEF"; fingerprint = "AAAA BBBB CCCC DDDD EEEE FFFF 0000 1111 2222 3333"; @@ -19,6 +20,7 @@ - `name` is your, preferably real, name, - `email` is your maintainer email address, and - `github` is your GitHub handle (as it appears in the URL of your profile page, `https://github.com/<userhandle>`), + - `githubId` is your GitHub user ID, which can be found at `https://api.github.com/users/<userhandle>`, - `keys` is a list of your PGP/GPG key IDs and fingerprints. `handle == github` is strongly preferred whenever `github` is an acceptable attribute name and is short and convenient. |