From 5933d226af9353f8c92f4afd7598583ffefbd879 Mon Sep 17 00:00:00 2001 From: Nanne Baars Date: Wed, 29 Sep 2021 18:31:19 +0200 Subject: [PATCH] Add action to warn against PR against master (should be develop) --- .github/workflows/master_branch_pr.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/master_branch_pr.yml b/.github/workflows/master_branch_pr.yml index fdf1af939..8f782c385 100644 --- a/.github/workflows/master_branch_pr.yml +++ b/.github/workflows/master_branch_pr.yml @@ -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. \ No newline at end of file + 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 \ No newline at end of file