diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main-pr.yml | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/.github/workflows/main-pr.yml b/.github/workflows/main-pr.yml index d0ee4cc..d7293ec 100644 --- a/.github/workflows/main-pr.yml +++ b/.github/workflows/main-pr.yml @@ -1,6 +1,6 @@ -name: Check if pr to main is from dev +name: Force to dev PRs not from dev to main on: - pull_request_target: + pull_request: branches: - 'main' jobs: @@ -10,8 +10,16 @@ jobs: pull-requests: write runs-on: ubuntu-latest steps: - # - name: Add comment - # uses: peter-evans/create-or-update-comment@v4 - # with: + - 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 --base 'dev' + run: gh pr edit $PR --base 'dev' + env: + GH_TOKEN: ${{ secrets.TOKEN_GITHUB }} + PR: ${{ github.event.pull_request.html_url }} |