From 055ec38fff9ba5ad7b7e838f4b8ef2bb36f83429 Mon Sep 17 00:00:00 2001
From: Martine Lenders <m.lenders@fu-berlin.de>
Date: Fri, 5 Oct 2018 19:07:32 +0200
Subject: [PATCH] tools/pr_check: adapt for label categorization
In [#10030][1] it was decided to rename all labels to reflect their
respective category. The labels "NEEDS SQUASHING" and "Waiting For Other
PR" are used in the `dist/tools/pr_check/pr_check.sh` script however, so
that script needs to be adapted.
[1]: https://github.com/RIOT-OS/RIOT/issues/10030
---
dist/tools/pr_check/pr_check.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dist/tools/pr_check/pr_check.sh b/dist/tools/pr_check/pr_check.sh
index 5a88e832a9..69927d7da6 100755
--- a/dist/tools/pr_check/pr_check.sh
+++ b/dist/tools/pr_check/pr_check.sh
@@ -39,12 +39,12 @@ if [ -n "${SQUASH_COMMITS}" ]; then
fi
if [ -n "$TRAVIS_PULL_REQUEST" -o -n "$CI_PULL_NR" ]; then
- if check_gh_label "NEEDS SQUASHING"; then
+ if check_gh_label "CI: needs squashing"; then
echo -e "${CERROR}Pull request needs squashing according to its labels set on GitHub${CRESET}"
EXIT_CODE=1
fi
- if check_gh_label "Waiting For Other PR"; then
+ if check_gh_label "State: waiting for other PR"; then
echo -e "${CERROR}Pull request is waiting for another pull request according to its labels set on GitHub${CRESET}"
EXIT_CODE=1
fi
--
GitLab