Age | Commit message (Expand) | 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 |