Require milestones on PRs before merging

Signed-off-by: Sebastian Malton <sebastian@malton.name>
This commit is contained in:
Sebastian Malton committed 2022-10-19 12:43:50 -04:00
1 parent 7e6751bf38
commit b9d7129e0b
1 file changed
+11
+11
View File
@@ -0,0 +1,11 @@
name: Require Milestone
on:
pull_request:
types: [opened, edited]
jobs:
label:
runs-on: ubuntu-latest
steps:
- name: Require Milestone
if: ${{ github.event.pull_request.milestone == null }}
run: exit 1