retarget-pr-main.yml

name: Retarget PRs against main

on:
  pull_request_target:
    types: [opened, reopened]
    branches: [main]

permissions:
  pull-requests: write
  issues: write
  contents: read

jobs:
  retarget:
    # Skip release PRs (develop -> main); catch everything else that targets main.
    if: github.event.pull_request.head.ref != 'develop'
    runs-on: ubuntu-latest
    steps:
      - name: Retarget to develop and comment
        env:
          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        run: |
          PR=${{ github.event.pull_request.number }}
          REPO=${{ github.repository }}
          gh pr edit "$PR" --repo "$REPO" --base develop
          gh pr comment "$PR" --repo "$REPO" --body "Auto-retargeted this PR from \`main\` to \`develop\`. Wave PRs merge into \`develop\`; \`main\` is only for release cuts. If you meant to target main deliberately (rare), reply here and we can revert this."