Fix update branch names (#144)

PR #118 accidentally removed the `time` variable that was being used in update branch names. As a result, the update branch was always called "update-". Restore the variable to get different branch names for different updates.

Author: tlively

.github/workflows/autoupdate.yml

@@ -34,6 +34,7 @@ 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