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

Merge pull request 'tags i hope' (#192) from develop/tags into master
build-develop-branch / build-branch (push) Successful in 34s Details 

Reviewed-on: #192
This commit is contained in:
giles 2023-10-23 18:41:27 +00:00
parent 1dc7dc2f6a b7be7ec26a
commit 575f668269
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 }} token: ${{ secrets.BOT_TOKEN }}
- name: tag - name: tag
run: | run: |
git tag git tag -l
- 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 }}