Skip to content

Adds user context filter to dashboard calendar #43

Adds user context filter to dashboard calendar

Adds user context filter to dashboard calendar #43

name: Do Not Merge
on:
pull_request:
types: [synchronize, opened, reopened, labeled, unlabeled]
jobs:
do-not-merge:
if: contains(github.event.pull_request.labels.*.name, 'DO NOT MERGE')
name: Prevent Merging
runs-on: ubuntu-latest
steps:
- name: Check for label
run: |
echo "Pull request is labeled as 'DO NOT MERGE'"
echo "This workflow fails so that the pull request cannot be merged"
exit 1