diff --git a/dist/tools/pr_check/pr_check.sh b/dist/tools/pr_check/pr_check.sh index 2603a40aa96fe8d90c818398ce999beadd1a86d8..e8dbd7ce3e32e362349da12a22ff394d48b0ddb4 100755 --- a/dist/tools/pr_check/pr_check.sh +++ b/dist/tools/pr_check/pr_check.sh @@ -25,7 +25,7 @@ else fi SQUASH_COMMITS="$(git log $(git merge-base HEAD "${RIOT_MASTER}")...HEAD --pretty=format:" %h %s" | \ - grep -i -e "^ [0-9a-f]\{7\} .\{0,2\}SQUASH" -e "^ [0-9a-f]\{7\} .\{0,2\}FIX")" + grep -i -e "^ [0-9a-f]\+ .\{0,2\}SQUASH" -e "^ [0-9a-f]\+ .\{0,2\}FIX")" if [ -n "${SQUASH_COMMITS}" ]; then echo -e "${CERROR}Pull request needs squashing:${CRESET}" 1>&2