Tweak commit message/PR for auto-updates (#118)

Closes #117

Author: alexcrichton

.github/workflows/autoupdate.yml

@@ -34,13 +34,10 @@ jobs:
       # If the current HEAD is different then a commit was made, so make a PR.
       - run: |
           if [ "${{ github.sha }}" != $(git rev-parse HEAD) ]; then
-            time=`date '+%Y-%m-%d'`
             branch=update-$time
             git checkout -b $branch
             git push origin $branch:$branch
-            gh pr create \
-              --title "Auto-update for $time" \
-              --fill
+            gh pr create --fill
           fi
         env:
           GH_TOKEN: ${{ github.token }}

update-testsuite.py

@@ -13,6 +13,7 @@
 import shutil
 import subprocess
 import sys
+from datetime import datetime
 
 
 class GitError(RuntimeError):
@@ -214,7 +215,8 @@ def main():
     if len(updated) == 0:
         print('No spec changes found, not creating a new commit')
         return 0
-    message = 'Update repos:\n\n'
+    today = datetime.now().strftime("%Y-%m-%d")
+    message = f'Auto-update for {today}\n\nUpdate repos:\n\n'
     for repo in updated:
         message += f'  {repo.dir}:\n'
         message += f'    {repo.url()}/commit/{repo.rev}\n'