name: Redirect PR base when it's main and head isn't dev
on:
  pull_request:
    types: [opened, edited, reopened, synchronize]
    branches:
      - 'main'
jobs:
  pr_to_main_from_dev:
    if: github.head_ref != 'dev'
    permissions:
      pull-requests: write
    runs-on: ubuntu-latest
    steps:
      - name: Add comment
        uses: peter-evans/create-or-update-comment@v4
        with:
          token: ${{ secrets.TOKEN_GITHUB }}
          issue-number: ${{ github.event.pull_request.number }}
          body: |
            Tried to create a pull request to `main` from a branch that isn't `dev`!
            **Changing destinaton branch to `dev`!**
      - name: Change base to dev
        run: gh pr edit $PR --base 'dev'
        env:
          GH_TOKEN: ${{ secrets.TOKEN_GITHUB }}
          PR: ${{ github.event.pull_request.html_url }}