History

Martine Lenders 055ec38fff 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

2018-10-05 19:07:32 +02:00

check_labels.sh

dist: tools: pr_check: adapt to RIOT CI

2016-03-12 00:54:43 +01:00

pr_check.sh

tools/pr_check: adapt for label categorization

2018-10-05 19:07:32 +02:00

README.md

travis: check PRs if they need squashing or depend on other PRs

2014-12-01 14:04:01 +01:00

README.md

About

This script checks if a Pull Request needs squashing or if it is waiting for another Pull Request.

Usage

./pr_check.sh [<master branch>]

The optional <master branch> parameter refers to the branch the pull request's branch branched from. The script will output all commits marked as squashable from HEAD to the merge-base with <master branch>. The default for <master branch> is master.

A commit is marked as squashable if it contains the keywords SQUASH or FIX (case insensitive) within the first five characters of it's subject title.