diff options
Diffstat (limited to 'bin/get-pick-list.sh')
| -rwxr-xr-x | bin/get-pick-list.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-pick-list.sh b/bin/get-pick-list.sh index 8fa4f438771..1db6884d4ab 100755 --- a/bin/get-pick-list.sh +++ b/bin/get-pick-list.sh @@ -32,7 +32,7 @@ is_sha_nomination() { fixes=`git show --pretty=medium -s $1 | tr -d "\n" | \ sed -e 's/'"$2"'/\nfixes:/Ig' | \ - grep -Eo 'fixes:[a-f0-9]{8,40}'` + grep -Eo 'fixes:[a-f0-9]{4,40}'` fixes_count=`echo "$fixes" | grep "fixes:" | wc -l` if test $fixes_count -eq 0; then |