Revert fix(ci): retarget seed-corpus PR from main to develop (#1103) - develop went red post-merge

.github/workflows/seed-corpus.yml

@@ -264,25 +264,24 @@ jobs:
             --body "$(cat <<'EOF'
           ## Seed corpus update
 
-          Automated PR from the `seed-corpus` workflow (run [${{ github.run_number }}](${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }})).
+          Automated PR from the \`seed-corpus\` workflow (run [${{ github.run_number }}](${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }})).
 
           ### Bundles included
 
-          New or updated result bundles are committed under `results-data/bundles/`.
+          New or updated result bundles are committed under \`results-data/bundles/\`.
           Review the diff to confirm expected benchmark × platform × scale coverage.
 
           ### Trust label
 
-          All bundles in this PR carry the `maintainer-run` / `public-curated` trust label.
+          All bundles in this PR carry the \`maintainer-run\` / \`public-curated\` trust label.
 
           ### Merging
 
-          Merge into `develop` triggers `sync-results-data-to-published`, which
-          opens a draft PR mirroring these bundles onto the `published-results`
-          corpus branch.
+          Merge triggers the \`docs\` workflow which rebuilds the read model and
+          redeploys the results explorer.
           EOF
           )" \
-            --base develop \
+            --base main \
             --head "${{ steps.commit.outputs.branch }}"
 
       - name: No changes to commit