chore: Make cherry-pick PR title semantically correct (#16632)

.github/workflows/rename-cherry-pick-pr.yml

@@ -0,0 +1,19 @@
+name: rename-auto-cherry-pick-pr
+on: pull_request
+
+permissions:
+  pull-requests: write
+  contents: write
+
+# This job will remove the AUTO: prefix from the PR title
+jobs:
+  rename-auto-cherry-pick-pr:
+    runs-on: ubuntu-latest
+    if: startsWith(github.event.pull_request.title, 'AUTO:')
+    steps:
+      - name: Make title semantic
+        run: |
+          TITLE="${{github.event.pull_request.title}}"
+          SEMANTIC_TITLE="${TITLE/AUTO: /}"
+          echo "new semantic title: $SEMANTIC_TITLE"
+          gh pr edit ${{github.event.pull_request.id}} --title "$SEMANTIC_TITLE"