From 32168b765394696d670b9cefbd94b3a067ecc582 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 2 Jul 2023 20:24:00 +0200
Subject: [PATCH] cronjob auto-PR: try to fix setting the remote branch

---
 src/tools/miri/.github/workflows/ci.yml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
index 8e1be3fa423c..12fa2b5a420e 100644
--- a/src/tools/miri/.github/workflows/ci.yml
+++ b/src/tools/miri/.github/workflows/ci.yml
@@ -11,7 +11,7 @@ on:
       - 'master'
   schedule:
     - cron: '6 6 * * *' # At 6:06 UTC every day.
-    - cron: '42 * * * *' # Also each hour, for testing
+    - cron: '12 * * * *' # Also each hour, for testing
 
 env:
   CARGO_UNSTABLE_SPARSE_REGISTRY: 'true'
@@ -203,9 +203,7 @@ jobs:
           ./miri toolchain
           ./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
+        run: git push -u origin HEAD:"rustup$(date -u +%Y-%m-%d)"
       - name: Create Pull Request
         run: gh pr create -B master --title 'Automatic sync from rustc' --body ''
         env: