From 1023746a566405fdaccf89c8408c78b45d4cab09 Mon Sep 17 00:00:00 2001
From: giles <giles.bradshaw@sigyl.com>
Date: Sun, 22 Oct 2023 17:21:01 +0100
Subject: [PATCH] here it is

---
 .gitea/workflows/pr-closed.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.gitea/workflows/pr-closed.yml b/.gitea/workflows/pr-closed.yml
index 52938ac..24c97b6 100644
--- a/.gitea/workflows/pr-closed.yml
+++ b/.gitea/workflows/pr-closed.yml
@@ -20,12 +20,26 @@ jobs:
           echo env: ${{ env.GITHUB_HEAD_REF }}
           echo env: ${{ env.GITHUB_BASE_REF }}
       - 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.TEA_TOKEN }}
+          outcome: ${{ steps.delete_develop_branch.outcome }}
+          test-id: Error code ${{ matrix.code }}
       - name: get build branch name
         run: |
           firstString=${{ github.head_ref }}
           secondString="build-"
           echo ::set-env name=BUILD_BRANCH::${firstString/develop-/"$secondString"}
       - name: delete build branch
+        id: delete_build_branch
         run: git push origin --delete ${{ env.BUILD_BRANCH }}
+        continue-on-error: true
+      - uses: mainmatter/continue-on-error-comment@v1
+        with:
+          repo-token: ${{ secrets.TEA_TOKEN }}
+          outcome: ${{ steps.delete_build_branch.outcome }}
+          test-id: Error code ${{ matrix.code }}
           
\ No newline at end of file