Fixing GitHub Pages

Author: AlexanderWillner

.github/workflows/github-pages.yml

@@ -27,7 +27,7 @@ jobs:
       run: |
         git config --local user.email "github-actions[bot]@users.noreply.github.com"
         git config --local user.name "github-actions[bot]"
-        git diff-index --quiet HEAD || git commit -m "Updated docs" -a
+        git commit -m "Updated docs" -a||true
     - name: Push changes
       uses: ad-m/github-push-action@master
       with: