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:31:19 +02:00
parent b7ff89243a
commit 5933d226af
No known key found for this signature in database
GPG Key ID: A6D6C06FE4EC14E7
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -15,4 +15,6 @@ jobs:
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.
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