simplify

Author: eltos

.github/workflows/format.yml

@@ -18,16 +18,6 @@ jobs:
           ssh-key: ${{ env.SSH_KEY }}
           fetch-depth: 0
 
-      - name: Bot setup
-        run: |
-          AUTHOR=$(git log -1 --pretty=%an)
-          if [ "$AUTHOR" == "Bot" ]; then
-            echo "Commit made by bot, skipping further steps in the pipeline."
-            exit 0
-          fi
-          git config user.name "Bot"
-          git config user.email "<[email protected]>"
-
       - name: Install python
         uses: actions/setup-python@v3
 
@@ -47,5 +37,7 @@ jobs:
       - name: Push formatting fixes
         if: steps.check.outcome == 'failure'
         run: |
-          git commit -am "Fixes formatting"
+          git config user.name "Bot"
+          git config user.email "<[email protected]>"
+          git commit -am "Fix file format [skip ci]"
           git push origin HEAD:${{github.event.pull_request.head.ref}}