another-user
/
batch-example
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases 143 Wiki Activity

tags i hope
build-develop-branch / build-branch (push) Successful in 37s Details

This commit is contained in:
gilesb 2023-10-23 19:31:54 +01:00
parent bd2be6e8f0
commit b121f80f3c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitea/workflows/pr-closed.yml
View File

@ -37,7 +37,8 @@ jobs:
with: with:
token: ${{ secrets.BOT_TOKEN }} token: ${{ secrets.BOT_TOKEN }}
- name: tag - name: tag
run: git tag run: |
git tag
- name: delete develop branch - name: delete develop branch
id: delete_develop_branch id: delete_develop_branch
run: git push origin --delete ${{ github.head_ref }} run: git push origin --delete ${{ github.head_ref }}