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 38s Details

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

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

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