Auto merge of rust-lang#2951 - rust-lang:cron, r=RalfJung

cron auto-PR: need to set upstream branch
RalfJung · Jul 2, 2023 · a6eb25a · a6eb25a
2 parents 918f393 + f2ce230
commit a6eb25a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
@@ -204,8 +204,8 @@ 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)"
-          git push
+          git switch -c "rustup$(date -u +%Y-%m-%d)"
+          git push -u
       - name: Create Pull Request
         run: gh pr create -B master --title 'Automatic sync from rustc' --body ''
         env: