Merge pull request #54 from RalfJung/punctuation

punctuation

Author: RalfJung

.github/workflows/ci.yml

@@ -99,7 +99,7 @@ jobs:
           git switch -c $BRANCH
           git push -u origin $BRANCH
           # Create PR
-          gh pr create -B master --title 'Automatic Rustup' --body 'Please close and re-open this PR to trigger CI, then enable auto-merge'
+          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: