summaryrefslogtreecommitdiffstats
path: root/teams/devtools.toml
AgeCommit message (Expand)Author
2019-10-22Fix Dev tools' rfcbot nameXAMPPRocky
2019-10-16Fixup devtools team github permsManish Goregaokar
2019-04-13Add kinnison and ehuss to devtoolsManish Goregaokar
2019-04-13Alumni myself (dwijnand)Dale Wijnand
2019-03-30add rfcbot configurationPietro Albini
2019-03-20Add rustfix WGPascal Hertleif
2019-03-08Devtools restructureManish Goregaokar
2019-02-08synchronize devtools ML with the old repoPietro Albini
2019-01-23remove the list access-level fieldPietro Albini
2019-01-22add static api and fix website dataPietro Albini
2019-01-19Update dev-tools teamsNick Cameron
2018-11-30import data from the new websitePietro Albini
2018-11-26import some mailing listsPietro Albini
2018-11-04import team structure from the current websitePietro Albini