Skip to content

Commit 5b74387

Browse files
fabiobaltieridanieldegrasse
authored andcommitted
scripts: do_not_merge: add some debug prints
Log the PR link and labels, may come in handy for troubleshooting down the road. Signed-off-by: Fabio Baltieri <fabiobaltieri@google.com>
1 parent 93997da commit 5b74387

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

scripts/ci/do_not_merge.py

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,11 @@ def main(argv):
4242
repo = gh.get_repo("zephyrproject-rtos/zephyr")
4343
pr = repo.get_pull(args.pull_request)
4444

45+
print(f"pr: {pr.html_url}")
46+
4547
for label in pr.get_labels():
48+
print(f"label: {label.name}")
49+
4650
if label.name in DNM_LABELS:
4751
print(f"Pull request is labeled as \"{label.name}\".")
4852
print("This workflow fails so that the pull request cannot be merged.")

0 commit comments

Comments
 (0)