Do not push into branch if the build is on a pull request

Jacek Gębal · Jacek Gębal · commit f27c37c2ef13 · 2026-03-09T00:36:59.000+02:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -224,6 +224,7 @@ jobs:
 
       - name: Push version update to repository
         id: push-version-number-update
+        if: ${{ github.event_name != 'pull_request' }}
         run: |
           git add sonar-project.properties VERSION BUILD_NO source/* docs/*
           git commit -m 'Updated project version after build [skip ci]'
