Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-26 | add-person: include github-id | Pietro Albini | |
2019-07-13 | address review comment | Pietro Albini | |
2019-07-13 | don't require the github token for add-person | Pietro Albini | |
2019-07-13 | add github ids to the people tomls | Pietro Albini | |
2019-07-13 | add the add-person subcommand | Pietro Albini | |