Merge pull request 'Merge pull request 'tags i hope' (#192) from develop/tags into masterReviewed-on: #192' (#193) from develop/tags into master

Reviewed-on: #193
2023-10-23 18:50:29 +00:00 · 2023-10-23 18:50:29 +00:00 · f483ee2df7
parent 575f668269 e81c4e1c47
commit f483ee2df7
1 changed files with 1 additions and 0 deletions
--- a/.gitea/workflows/pr-closed.yml
+++ b/.gitea/workflows/pr-closed.yml
@ -38,6 +38,7 @@ jobs:
          token: ${{ secrets.BOT_TOKEN }}
      - name: tag
        run: |
+          git fetch --tags
          git tag -l
      - name: delete develop branch
        id: delete_develop_branch