summaryrefslogtreecommitdiffstats
path: root/docs/toml-schema.md
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-07-11 20:49:49 +0200
committerPietro Albini <pietro@pietroalbini.org>2019-07-13 21:19:01 +0200
commit8578b7e3cdc93b583d5c25762ac36ec512c779f3 (patch)
tree78c5fde9f4f9cd6ea037a5ce0917bd1c09ace8a9 /docs/toml-schema.md
parent474d58efe82228cafd02f025274eb411bbe0596a (diff)
add github ids to the people tomls
Diffstat (limited to 'docs/toml-schema.md')
-rw-r--r--docs/toml-schema.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/toml-schema.md b/docs/toml-schema.md
index 0ea6abb..208ceed 100644
--- a/docs/toml-schema.md
+++ b/docs/toml-schema.md
@@ -8,6 +8,7 @@ The file structure is this:
```toml
name = "John Doe" # Real name of the person (required)
github = "johndoe" # GitHub username of the person (required)
+github-id = 123456 # GitHub ID of the person (required)
# You can also set `email = false` to explicitly disable the email for the user.
# This will, for example, avoid adding the person to the mailing lists.
email = "john@doe.com" # Email address used for mailing lists (optional)