Merge pull request #2533 from rust-lang/rustc-pull

Rustc pull update

Author: tshepang

.github/workflows/ci.yml

@@ -159,9 +159,6 @@ jobs:
       - name: show the current environment
         run: src/ci/scripts/dump-environment.sh
 
-      - name: install rust
-        run: src/ci/scripts/install-rust.sh
-
       - name: install awscli
         run: src/ci/scripts/install-awscli.sh
 

.mailmap

@@ -597,6 +597,7 @@ Sam Radhakrishnan <[email protected]>
 Samuel Tardieu <[email protected]>
 Santiago Pastorino <[email protected]>
 Santiago Pastorino <[email protected]> <[email protected]>
+Sasha Pourcelot <[email protected]> Sasha <[email protected]>
 Scott McMurray <[email protected]>
 Scott McMurray <[email protected]> <[email protected]>
 Scott Olson <[email protected]> Scott Olson <[email protected]>