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