Skip to content

add label checker action #157

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Yaswant Pradhan (yaswant) merged 17 commits into from
Feb 24, 2023
Merged

add label checker action #157

Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
2486155
add label checker action
yaswant Feb 22, 2023
2356679
fix syntax
yaswant Feb 22, 2023
5456378
try2
yaswant Feb 22, 2023
8f3f8b0
reverse logic
yaswant Feb 22, 2023
c7ac2a4
try 3
yaswant Feb 22, 2023
baa73ef
try4
yaswant Feb 22, 2023
521b3e3
try4
yaswant Feb 22, 2023
78309f4
check for passing read-to-merge label
yaswant Feb 22, 2023
8b06d0d
final push
yaswant Feb 22, 2023
4844e9d
label check for both situation
yaswant Feb 23, 2023
ae1bd3f
only check on PR
yaswant Feb 23, 2023
bb12232
Empty Commit
yaswant Feb 23, 2023
fc5095a
try on 2
yaswant Feb 23, 2023
e7fbd3a
try on 3
yaswant Feb 23, 2023
7c46f04
Empty Commit
yaswant Feb 23, 2023
8cb82a4
try on 4
yaswant Feb 23, 2023
834699d
stick to original change
yaswant Feb 23, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
28 changes: 28 additions & 0 deletions .github/workflows/label.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
---
name: Check Label

on:
pull_request:
types:
- opened
- labeled
- unlabeled
- synchronized

jobs:
ready-to-merge:
runs-on: ubuntu-latest

steps:
- name: Fail if PR is not labelled as ready to merge
if: "!contains(github.event.pull_request.labels.*.name,'ready to merge')"
run: |
echo "This PR is not yet ready to merge."
exit 1

- name: Pass if PR is labelled as ready to merge
if: |
github.ref == 'pull_request' &&
contains(github.event.pull_request.labels.*.name,'ready to merge')
run: echo "This PR is ready to merge."

Loading