1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/pr_check
2021-01-08 15:04:28 +01:00
..
check_labels.sh dist/tools/pr_check: rename check script to common name 2021-01-08 14:06:17 +01:00
check.sh dist/tools: move check for PKG_SOURCE_LOCAL to buildsystem_sanity_check 2021-01-08 15:04:28 +01:00
README.md dist/tools/pr_check: rename check script to common name 2021-01-08 14:06:17 +01:00

About

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

Usage

./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.