Skip to content

Ref #492, do not send legacy metric if new waitlists attribute is used #726

Ref #492, do not send legacy metric if new waitlists attribute is used

Ref #492, do not send legacy metric if new waitlists attribute is used #726

Workflow file for this run

name: Force pull-requests label(s)
on:
pull_request:
types: [opened, labeled, unlabeled]
jobs:
pr-has-label:
name: Will be skipped if labelled
runs-on: ubuntu-latest
if: ${{ join(github.event.pull_request.labels.*.name, ', ') == '' }}
steps:
- run: |
echo 'Pull-request must have at least one label'
exit 1