cronjob auto-PR: fetch more of the history

Author: RalfJung

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

@@ -188,6 +188,8 @@ jobs:
             --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com
       # Attempt to auto-sync with rustc
       - uses: actions/checkout@v3
+        with:
+          fetch-depth: 256 # get a bit more of the history
       - name: install josh-proxy
         run: cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r22.12.06
       - name: start josh-proxy
@@ -198,8 +200,6 @@ jobs:
           git config --global user.email 'miri@cron.bot'
       - name: get changes from rustc
         run: |
-          git status # just to see more of what is happening
-          git checkout master # by default we are not on a branch
           ./miri rustc-pull
       - name: Install rustup-toolchain-install-master
         run: cargo install -f rustup-toolchain-install-master