Switch version-bump labels to bump/ scope and add bump/skip

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

.gitea/workflows/version-bump.yml

@@ -15,12 +15,12 @@ jobs:
     if: github.event.action != 'closed'
     runs-on: ubuntu-latest
     steps:
-      - name: Require a bump:major/minor/patch label
+      - name: Require a bump/major, bump/minor, bump/patch, or bump/skip label
         env:
           LABELS: ${{ toJson(github.event.pull_request.labels.*.name) }}
         run: |
-          echo "$LABELS" | grep -qE '"bump:(major|minor|patch)"' || {
+          echo "$LABELS" | grep -qE '"bump/(major|minor|patch|skip)"' || {
-            echo "::error::PR into master must carry one of bump:major, bump:minor, bump:patch"
+            echo "::error::PR into master must carry one of bump/major, bump/minor, bump/patch, bump/skip"
             exit 1
           }
 
@@ -40,16 +40,17 @@ jobs:
         env:
           LABELS: ${{ toJson(github.event.pull_request.labels.*.name) }}
         run: |
-          for lvl in major minor patch; do
+          for lvl in major minor patch skip; do
-            if echo "$LABELS" | grep -q "\"bump:$lvl\""; then
+            if echo "$LABELS" | grep -q "\"bump/$lvl\""; then
               echo "level=$lvl" >> "$GITHUB_OUTPUT"
               exit 0
             fi
           done
-          echo "::error::merged PR into master has no bump:major/minor/patch label"
+          echo "::error::merged PR into master has no bump/major, bump/minor, bump/patch, or bump/skip label"
           exit 1
 
       - name: Bump CMakeLists.txt and flake.nix
+        if: steps.level.outputs.level != 'skip'
         env:
           LEVEL: ${{ steps.level.outputs.level }}
         run: |
@@ -76,6 +77,7 @@ jobs:
           echo "NEW_VERSION=${NEW}" >> "$GITHUB_ENV"
 
       - name: Commit and push
+        if: steps.level.outputs.level != 'skip'
         run: |
           set -euo pipefail
           if [ "$CURRENT_VERSION" = "$NEW_VERSION" ]; then