Age | Commit message (Expand) | Author |
---|---|---|
2019-07-13 | add github ids to the people tomls | Pietro Albini |
2019-04-08 | Remove review permissions from inactive reviewers | Manish Goregaokar |
2019-03-10 | import bors permissions | Pietro Albini |
2018-11-30 | add last email addresses | Pietro Albini |
2018-11-27 | some more changes | Pietro Albini |
2018-11-04 | import team structure from the current website | Pietro Albini |