Age | Commit message (Expand) | Author |
---|---|---|
2019-09-30 | remove myself from discord mods | Pietro Albini |
2019-09-21 | Update username | Carol (Nichols || Goulding) |
2019-07-13 | normalize miscapitalized github usernames | Pietro Albini |
2019-03-20 | Add discord mailing list | Manish Goregaokar |
2019-03-20 | Add Discord moderation subteam | Manish Goregaokar |