........

2023-10-23 11:03:31 +01:00 · 2023-10-23 11:03:31 +01:00 · 3b8cc6b4f0
parent 7a5f9d416e
commit 3b8cc6b4f0
1 changed files with 5 additions and 2 deletions
--- a/.gitea/workflows/develop
+++ b/.gitea/workflows/develop
@ -46,8 +46,11 @@ jobs:
          git commit -a -m "${{ github.ref_name }} -> ${{ env.BUILD_BRANCH }} "
          git checkout -b ${{ env.BUILD_BRANCH }}
          git merge --squash ${{ github.ref_name }}
+          if [[ $(git diff origin/${{ env.BUILD_BRANCH }} | wc -c) -ne 0 ]]; then 
            git push -f origin HEAD:${{ env.BUILD_BRANCH }}
-
+          else
+            echo 'no changes so no push'
+          fi;
      - name: make pull request comment
        run: |
          curl https://dl.gitea.com/tea/0.9.2/tea-0.9.2-linux-386 --output tea