Merge pull request '....' (#219) from develop/tags-3 into master

Reviewed-on: #219

.gitea/workflows/develop-pr-closed.yml

@@ -6,23 +6,11 @@ on:
       - closed
       - deleted
     branches:
-      - 'master'
+      - master
 
 jobs:
-  if_merged:
-    if: github.event.pull_request.merged == true
-    runs-on: ubuntu-latest
-    steps:
-      - name: delete develop branch
-        id: delete_develop_branch
-        run: git push origin --delete ${{ github.head_ref }}
-        continue-on-error: true
-      - uses: mainmatter/continue-on-error-comment@v1
-        with:
-          repo-token: ${{ secrets.BOT_TOKEN }}
-          outcome: ${{ steps.delete_develop_branch.outcome }}
-          test-id: Error code ${{ matrix.code }}
   delete-develop:
+    if: ${{ ! startsWith(github.head_ref, 'develop/') }}
     runs-on: ubuntu-latest
     steps:
       - uses: http://sigyl.com:3000/actions/checkout@v3.5.4
@@ -42,4 +30,6 @@ jobs:
           firstString=${{ github.head_ref }}
           secondString="build"
           echo ::set-env name=BUILD_BRANCH::${firstString/develop\//"$secondString"\/}s      
+      - name: delete build branch
+        run: git push origin --delete ${{ env.BUILD_BRANCH }}