Update run-markdownsnippets to run on push

Author: mauroservienti

.github/workflows/run-markdownsnippets.yml

@@ -1,6 +1,10 @@
 name: MarkdownSnippets
 on:
-  workflow_dispatch:
+  push:
+    branches:
+      - '**'
+    tags-ignore:
+      - '*.*'
 jobs:
   documentation:
     name: Process documentation
@@ -20,8 +24,5 @@ jobs:
       run: |
         git config --local user.email "[email protected]"
         git config --local user.name "GitHub Action"
-        git commit -m "MarkdownSnippets documentation changes" -a  || echo "nothing to commit"
-        remote="https://${GITHUB_ACTOR}:${{secrets.GITHUB_TOKEN}}@github.com/${GITHUB_REPOSITORY}.git"
-        branch="${GITHUB_REF:11}"
-        git push "${remote}" ${branch} || echo "nothing to push"
-      shell: bash
+        git add .
+        git diff-index --quiet HEAD || git commit -m "docs: update markdown snippets [skip ci]" && git push