Merging internal commits for release/8.0.1xx #101
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: PR Analysis | |
| on: | |
| pull_request: | |
| types: [opened, synchronize, labeled, unlabeled] | |
| permissions: | |
| contents: read | |
| pull-requests: read | |
| jobs: | |
| allowed-labels: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Return error if branch is in lockdown or 'do not merge' label is present | |
| run: echo "Labels on this PR prevent it from being merged. Please contact the repo owners for more information." && exit 1 | |
| if: ${{ contains(github.event.pull_request.labels.*.name, 'Branch Lockdown') || contains(github.event.pull_request.labels.*.name, 'DO NOT MERGE') }} |