Age | Commit message (Collapse) | 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 | |
It's been an honour and a privilege to collaborate on Cargo and Rustup, but my interests and attention have been elsewhere recently so I feel I'd be doing my teammates a disservice by continuing to occupy a team slot. I continue to wish the entire Rust project success and it's quite possible that I might come back in the future. Thank you, Dale. | |||
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 | |