Exercise ディレクトリに変更があったとしても、自動でコミットせず単に失敗させる

.github/workflows/sync.yml

@@ -44,13 +44,3 @@ jobs:
         run: |
           git add -N LeanByExample/Tutorial/Exercise
           git diff --name-only --exit-code
-        continue-on-error: true
-
-      - name: commit
-        if: steps.diff.outcome == 'failure'
-        run: |
-          git config user.name "GitHub Action"
-          git config user.email "[email protected]"
-          git add LeanByExample/Tutorial/Exercise
-          git commit -m "generated by GitHub Action"
-          git push origin HEAD:${{ github.event.pull_request.head.ref }}