can't seem to avoid repeating the branch name...

Author: RalfJung

src/tools/miri/.github/workflows/ci.yml

@@ -203,10 +203,10 @@ jobs:
           ./miri fmt --check || (./miri fmt && git commit -am "fmt")
       - name: Push changes to a branch
         run: |
-          git switch -c "rustup$(date -u +%Y-%m-%d)"
-          git push -u origin
+          BRANCH="rustup$(date -u +%Y-%m-%d)"
+          git switch -c $BRANCH
+          git push -u origin $BRANCH
       - name: Create Pull Request
         run: gh pr create -B master --title 'Automatic sync from rustc' --body ''
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-