diff options
author | Emil Velikov <[email protected]> | 2018-11-08 15:05:14 +0000 |
---|---|---|
committer | Emil Velikov <[email protected]> | 2018-11-15 15:54:48 +0000 |
commit | fac10169bbad2da918ef07a62c01e0b321508cfe (patch) | |
tree | 18b6e98804adf3d9a226a237cf910495548e3f57 /bin | |
parent | 559c32d2412b2ea602bb59aa61da75403d01a872 (diff) |
bin/get-pick-list.sh: prefix output with "[stable] "
With later commits we'll fold all the different scripts into one.
Add the explicit prefix, so that we know the origin of the nomination
v2:
- pass the sha as argument to the function
- swap $tag = none for an else statment (Juan)
- grep -q instead of using a variable (Eric)
- print the tag and commit oneline separately (Eric)
v3:
- drop unused "tag=none" assignment (Juan)
- typo nomination
Cc: [email protected]
Reviewed-by: Juan A. Suarez <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]> (v2)
Signed-off-by: Emil Velikov <[email protected]>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/get-pick-list.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/bin/get-pick-list.sh b/bin/get-pick-list.sh index ba741cc4114..2c7d87db0c6 100755 --- a/bin/get-pick-list.sh +++ b/bin/get-pick-list.sh @@ -7,6 +7,14 @@ # $ bin/get-pick-list.sh # $ bin/get-pick-list.sh > picklist # $ bin/get-pick-list.sh | tee picklist +# +# The output is as follows: +# [nomination_type] commit_sha commit summary + +is_stable_nomination() +{ + git show --summary "$1" | grep -q -i -o "CC:.*mesa-stable" +} # Use the last branchpoint as our limit for the search latest_branchpoint=`git merge-base origin/master HEAD` @@ -32,6 +40,13 @@ do continue fi + if is_stable_nomination "$sha"; then + tag=stable + else + continue + fi + + printf "[ %8s ] " "$tag" git --no-pager show --summary --oneline $sha done |