dubey/WebGoat
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add action to warn against PR against master (should be develop)

Browse Source
This commit is contained in:
Nanne Baars
2021-09-29 18:57:29 +02:00
parent 902af04dd4
commit 906ab766df
1 changed files with 8 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
.github/workflows/master_branch_pr.yml vendored
View File

@ -7,14 +7,12 @@ jobs:
test: test:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Post PR comment - uses: wow-actions/auto-comment@v1
uses: mshick/add-pr-comment@v1
with: with:
message: | GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
Hi @${{ github.event.pull_request.user.login }},
pullRequestOpened: |
👋 @{{ author }}
It looks like this pull request has been made against the ${{github.event.pull_request.head.repo.full_name}} `master` branch. It looks like this pull request has been made against the ${{github.event.pull_request.head.repo.full_name}} `master` branch.
Since we use Git Flow all commits to master are through are from the develop branch. Since we use Git Flow all commits to master are through are from the develop branch.
You do not need to close this PR, you can change the target branch to `development` by clicking the _"Edit"_ button at the top of this page. You do not need to close this PR, you can change the target branch to `development` by clicking the _"Edit"_ button at the top of this page.
repo-token: ${{ secrets.GITHUB_TOKEN }}
allow-repeats: false