diff --git a/dist/tools/pr_check/check.sh b/dist/tools/pr_check/check.sh index b00f428fa3..6796d754b6 100755 --- a/dist/tools/pr_check/check.sh +++ b/dist/tools/pr_check/check.sh @@ -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" | \