aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/main-pr.yml
blob: d0ee4ccf4adc96d3b88b338bc1243ed4ac70ca10 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
name: Check if pr to main is from dev
on:
  pull_request_target:
    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:
      - name: Change base to dev
        run: gh pr edit --base 'dev'