Update reasoning.yml

.github/workflows/reasoning.yml

@@ -15,10 +15,17 @@ jobs:
            curl -L -o robot.jar "https://github.com/ontodev/robot/releases/latest/download/robot.jar"
            java -jar robot.jar merge --include-annotations true --input lehrplan.ttl query --update .github/workflows/update.sparql reason --reasoner hermit --axiom-generators "SubClass EquivalentClass DisjointClasses DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion PropertyAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain"  --include-indirect true remove --term owl:topObjectProperty reduce --output reasoned.ttl
            rm robot.jar
-    - uses: mikeal/publish-to-github-action@master
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        BRANCH_NAME: 'main-reasoned' #optional defaults to master
+    - uses: stefanzweifel/git-auto-commit-action@v5
+      with:
+        branch: main-reasoned
+        commit_options: '--no-verify'
+        push_options: '--force'
+
+#    - uses: mikeal/publish-to-github-action@master
+#      env:
+#        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+#        BRANCH_NAME: 'main-reasoned' #optional defaults to master
+
 
     - name: Invoke ping
       uses: distributhor/workflow-webhook@v3