Add workflow for releases to the milestone repository

Closes gh-40426

.github/actions/create-github-release/action.yml

@@ -7,6 +7,10 @@ inputs:
   token:
     description: Token to use for authentication with GitHub
     required: true
+  pre-release:
+    description: Whether the release is a pre-release (a milestone or release candidate)
+    required: false
+    default: 'false'
 runs:
   using: composite
   steps:
@@ -20,4 +24,4 @@ runs:
       env:
         GITHUB_TOKEN: ${{ inputs.token }}
       shell: bash
-      run: gh release create ${{ format('v{0}', inputs.milestone) }} --notes-file changelog.md
+      run: gh release create ${{ format('v{0}', inputs.milestone) }} --notes-file changelog.md ${{ inputs.pre-release == 'true' && '--prerelease' || '' }}