Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-07-13 | add github ids to the people tomls | Pietro Albini | |
2019-03-10 | import bors permissions | Pietro Albini | |
2018-11-26 | import some mailing lists | Pietro Albini | |
2018-11-04 | import team structure from the current website | Pietro Albini | |