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' (#190) from develop/tags into master 

Reviewed-on: #190
This commit is contained in:
giles 2023-10-23 18:33:51 +00:00
parent bd2be6e8f0 b121f80f3c
commit cdc24587c0
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 }}