Age | Commit message (Expand) | Author |
---|---|---|
2019-10-22 | Fix Dev tools' rfcbot name | XAMPPRocky |
2019-10-16 | Fixup devtools team github perms | Manish Goregaokar |
2019-04-13 | Add kinnison and ehuss to devtools | Manish Goregaokar |
2019-04-13 | Alumni myself (dwijnand) | Dale Wijnand |
2019-03-30 | add rfcbot configuration | Pietro Albini |
2019-03-20 | Add rustfix WG | Pascal Hertleif |
2019-03-08 | Devtools restructure | Manish Goregaokar |
2019-02-08 | synchronize devtools ML with the old repo | Pietro Albini |
2019-01-23 | remove the list access-level field | Pietro Albini |
2019-01-22 | add static api and fix website data | Pietro Albini |
2019-01-19 | Update dev-tools teams | Nick Cameron |
2018-11-30 | import data from the new website | Pietro Albini |
2018-11-26 | import some mailing lists | Pietro Albini |
2018-11-04 | import team structure from the current website | Pietro Albini |