joe: Do nothing if PR from same branch already exists. The detection is buggy.
- name: Make sure PRs target the dev branch
-
- on:
- pull_request_target:
- types: [opened, edited]
-
- jobs:
- check-branch:
- runs-on: ubuntu-latest
- steps:
- # Do not check out the repository here. See https://securitylab.github.com/research/github-actions-preventing-pwn-requests/
- - uses: Vankka/[email protected]
- env:
- GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- with:
- target: /\b(?!dev\b).*?\b/
- exclude: dev
- change-to: dev
- comment: |
- New PRs should target the `dev` branch. The base branch of this PR has been automatically changed to `dev`.
- Please check that there are no merge conflicts.
-
- name: Make sure PRs target the dev branch
-
- on:
- pull_request_target:
- types: [opened, edited]
-
- jobs:
- check-branch:
- runs-on: ubuntu-latest
- steps:
- # Do not check out the repository here. See https://securitylab.github.com/research/github-actions-preventing-pwn-requests/
- - uses: Vankka/[email protected]
- env:
- GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- with:
- target: /\b(?!dev\b).*?\b/
- exclude: dev
- change-to: dev
- already-exists-action: nothing
- comment: |
- New PRs should target the `dev` branch. The base branch of this PR has been automatically changed to `dev`.
- Please check that there are no merge conflicts.
-