Age | Commit message (Expand) | Author |
---|---|---|
2019-07-13 | add github ids to the people tomls | Pietro Albini |
2019-03-13 | Remove bors permission from self | Manish Goregaokar |
2019-03-10 | import bors permissions | Pietro Albini |
2019-03-08 | rename manishearth to Manishearth | Pietro Albini |