Merge pull request #38 from RalfJung/cron-doc

cron-success-pr: document how to merge these PRs

Author: RalfJung

.github/workflows/ci.yml

@@ -101,7 +101,7 @@ jobs:
           git switch -c $BRANCH
           git push -u origin $BRANCH
           # Create PR
-          gh pr create -B master --title 'Automatic Rustup' --body ''
+          gh pr create -B master --title 'Automatic Rustup' --body 'Please close and re-open this PR to trigger CI, then enable auto-merge'
 
   # Send a Zulip notification when a cron job fails
   cron-fail-notify: