mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-31 17:31:18 +01:00
tools/pr_check: add Update keywork to need squashing check
This commit is contained in:
parent
936696fd16
commit
698665edad
3
dist/tools/pr_check/check.sh
vendored
3
dist/tools/pr_check/check.sh
vendored
@ -36,7 +36,8 @@ keyword_filter() {
|
||||
grep -i \
|
||||
-e "^ [0-9a-f]\+ .\{0,2\}SQUASH" \
|
||||
-e "^ [0-9a-f]\+ .\{0,2\}FIX" \
|
||||
-e "^ [0-9a-f]\+ .\{0,2\}REMOVE *ME"
|
||||
-e "^ [0-9a-f]\+ .\{0,2\}REMOVE *ME" \
|
||||
-e "^ [0-9a-f]\+ .\{0,2\}Update"
|
||||
}
|
||||
|
||||
SQUASH_COMMITS="$(git log $(git merge-base HEAD "${RIOT_MASTER}")...HEAD --pretty=format:" %h %s" | \
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user