We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 93997da commit 5b74387Copy full SHA for 5b74387
scripts/ci/do_not_merge.py
@@ -42,7 +42,11 @@ def main(argv):
42
repo = gh.get_repo("zephyrproject-rtos/zephyr")
43
pr = repo.get_pull(args.pull_request)
44
45
+ print(f"pr: {pr.html_url}")
46
+
47
for label in pr.get_labels():
48
+ print(f"label: {label.name}")
49
50
if label.name in DNM_LABELS:
51
print(f"Pull request is labeled as \"{label.name}\".")
52
print("This workflow fails so that the pull request cannot be merged.")
0 commit comments