I'm pleased to announce @pietroalbini has started as co-lead of the infra team and will continue the great work he's been doing recently on getting Rust infrastructure up to scratch.
Since joining the team last August, he's shown a great enthusiasm for infra work and has been instrumental in a number of key changes and improvements, including (but not limited to):
- automated crater runs
- the travis-ci.org -> .com migration, and then the subsequent migration to Azure pipelines
- creating https://github.com/rust-lang/team as a central source of truth for our org structure
along with many other contributions, too numerous to list here.
Congratulations to Pietro, and looking forward to seeing what comes next!
