Merge pull request 'here it is' (#102) from develop-1001 into master

Reviewed-on: #102

.gitea/workflows/pr-closed.yml

@@ -42,4 +42,18 @@ jobs:
           repo-token: ${{ secrets.TEA_TOKEN }}
           outcome: ${{ steps.delete_build_branch.outcome }}
           test-id: Error code ${{ matrix.code }}
+      - name: get build format branch name
+        run: |
+          firstString=${{ github.head_ref }}
+          secondString="format-"
+          echo ::set-env name=FORMAT_BRANCH::${firstString/develop-/"$secondString"}
+      - name: delete format branch
+        id: delete_format_branch
+        run: git push origin --delete ${{ env.FORMAT_BRANCH }}
+        continue-on-error: true
+      - uses: mainmatter/continue-on-error-comment@v1
+        with:
+          repo-token: ${{ secrets.TEA_TOKEN }}
+          outcome: ${{ steps.delete_format_branch.outcome }}
+          test-id: Error code ${{ matrix.code }}