Update reasoning.yml

.github/workflows/reasoning.yml

@@ -16,10 +16,17 @@ jobs:
            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
            git add reasoned.ttl
+           git commit -m "reasoned"
     - uses: stefanzweifel/git-auto-commit-action@v5
       with:
         branch: main-reasoned
 
+#    - 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
       with: