Patch 2.0.1 #4
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: nf-core branch protection | |
| # This workflow is triggered on PRs to main branch on the repository | |
| # It fails when someone tries to make a PR against the nf-core `main` branch instead of `dev` | |
| on: | |
| pull_request_target: | |
| branches: [main] | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| steps: | |
| # PRs to the nf-core repo main branch are only ok if coming from the nf-core repo `dev` or any `patch` branches | |
| - name: Check PRs | |
| if: github.repository == 'sanger-tol/insdcdownload' | |
| run: | | |
| { [[ ${{github.event.pull_request.head.repo.full_name }} == sanger-tol/insdcdownload ]] && [[ $GITHUB_HEAD_REF == "dev" ]]; } || [[ $GITHUB_HEAD_REF == "patch" ]] | |
| # If the above check failed, post a comment on the PR explaining the failure | |
| # NOTE - this doesn't currently work if the PR is coming from a fork, due to limitations in GitHub actions secrets | |
| - name: Post PR comment | |
| if: failure() | |
| uses: mshick/add-pr-comment@v1 | |
| with: | |
| message: | | |
| ## This PR is against the `main` branch :x: | |
| * Do not close this PR | |
| * Click _Edit_ and change the `base` to `dev` | |
| * This CI test will remain failed until you push a new commit | |
| --- | |
| Hi @${{ github.event.pull_request.user.login }}, | |
| It looks like this pull-request is has been made against the [${{github.event.pull_request.head.repo.full_name }}](https://github.com/${{github.event.pull_request.head.repo.full_name }}) `main` branch. | |
| The `main` branch on nf-core repositories should always contain code from the latest release. | |
| Because of this, PRs to `main` are only allowed if they come from the [${{github.event.pull_request.head.repo.full_name }}](https://github.com/${{github.event.pull_request.head.repo.full_name }}) `dev` branch. | |
| You do not need to close this PR, you can change the target branch to `dev` by clicking the _"Edit"_ button at the top of this page. | |
| Note that even after this, the test will continue to show as failing until you push a new commit. | |
| Thanks again for your contribution! | |
| repo-token: ${{ secrets.GITHUB_TOKEN }} | |
| allow-repeats: false |