Merge remote-tracking branch 'origin/master'

Author: marcelblijleven

.github/workflows/update_readme.yml

@@ -24,5 +24,5 @@ jobs:
       run: |
         git config --global user.name 'Marcel Blijleven'
         git config --global user.email '[email protected]'
-        if ! git diff-index --quiet HEAD; then git commit -am "docs: update README"; fi
+        [[ -n $(git status -s) ]] && git commit -am "docs: update README"
         git push