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