chore(ci): Push empty commit if no docs are generated (#2090)

.github/workflows/generate-docs.yml

@@ -44,5 +44,5 @@ jobs:
         run: |
           ./grain doc stdlib -o stdlib --current-version=$(./grain -v)
           git add stdlib
-          git diff --staged --quiet || git commit -m 'chore(stdlib): Regenerate markdown documentation'
+          git commit --allow-empty -m 'chore(stdlib): Regenerate markdown documentation'
           git push