put back PR creation

Author: dschuff

.github/workflows/tag-release.yml

@@ -17,6 +17,11 @@ jobs:
         # Updates changelog and writes the release version into the environment
         - name: Update Changelog
           run: python3 tools/maint/create_release.py --action
+        - name: Create Changelog PR
+          uses: peter-evans/create-pull-request@v6
+          with:
+            title: Mark ${{ env.RELEASE_VERSION }} as released
+            delete-branch: true
         - name: Tag release sha
           uses: actions/github-script@v7
           with: