diff options
author | Emil Velikov <[email protected]> | 2018-11-08 15:05:15 +0000 |
---|---|---|
committer | Emil Velikov <[email protected]> | 2018-11-15 15:57:37 +0000 |
commit | 98c0d87acd655314761c1ea607c19fb39fe4acfc (patch) | |
tree | ac46e41c804606fe24d3bb766be10268f6d429c8 /bin/git_sha1_gen.py | |
parent | fc99358bdc57494c91ffe26dbd224747f648b1aa (diff) |
bin/get-pick-list.sh: handle "typod" usecase.
As the comment in get-typod-pick-list.sh says, there's little point in
having a duplicate file.
Add the new pattern + tag to get-pick-list.sh and nuke this file.
v2:
- pass the sha as argument to the function
- grep -q instead of using a variable (Eric)
Cc: [email protected]
Reviewed-by: Juan A. Suarez <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Signed-off-by: Emil Velikov <[email protected]>
(cherry picked from commit e6b3a3b2014413366110f6deeced8095e7262b1d)
Diffstat (limited to 'bin/git_sha1_gen.py')
0 files changed, 0 insertions, 0 deletions