Pin the categories each shipped category reads

2026-09-16 20:09:38 +02:00
parent 265bd05dfc
commit ea71b3e479
2 changed files with 55 additions and 28 deletions
@@ -1,23 +0,0 @@
-name: Release
-
-on:
-  push:
-    tags: ['v*']
-
-permissions:
-  contents: write
-
-jobs:
-  release:
-    name: Gitea release from CHANGELOG.md
-    runs-on: ubuntu-24.04
-    steps:
-      - uses: actions/checkout@v6
-        with:
-          persist-credentials: false
-      - run: python3 release-tooling/publish_release.py
-        env:
-          GITEA_API_URL: ${{ github.api_url }}
-          GITEA_REPOSITORY: ${{ github.repository }}
-          GITEA_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          TAG: ${{ github.ref_name }}