Add post-release version bump to release workflow

Author: Mark Pollack

.github/workflows/release.yml

@@ -6,6 +6,11 @@ on:
       version:
         description: 'Release version (e.g., 0.9.0)'
         required: true
+      next_dev_version:
+        description: 'Next development version (e.g., 0.10.0-SNAPSHOT). Leave empty to auto-increment minor version.'
+        required: false
+        default: ''
+        type: string
       skip_tests:
         description: 'Skip tests (use for hotfixes only)'
         required: false
@@ -72,3 +77,17 @@ jobs:
           draft: false
           prerelease: ${{ contains(inputs.version, '-') }}
           generate_release_notes: true
+
+      - name: Bump to next development version
+        run: |
+          if [ -n "${{ inputs.next_dev_version }}" ]; then
+            NEXT_VERSION="${{ inputs.next_dev_version }}"
+          else
+            IFS='.' read -r MAJOR MINOR PATCH <<< "${{ inputs.version }}"
+            NEXT_VERSION="${MAJOR}.$((MINOR + 1)).0-SNAPSHOT"
+          fi
+          echo "Next development version: ${NEXT_VERSION}"
+          ./mvnw versions:set -DnewVersion=${NEXT_VERSION} -DgenerateBackupPoms=false
+          git add -A
+          git commit -m "Bump version to ${NEXT_VERSION}"
+          git push origin HEAD:main