diff options
| author | Emil Velikov <emil.velikov@collabora.com> | 2018-11-08 15:05:13 +0000 |
|---|---|---|
| committer | Emil Velikov <emil.l.velikov@gmail.com> | 2018-11-15 15:51:24 +0000 |
| commit | 559c32d2412b2ea602bb59aa61da75403d01a872 (patch) | |
| tree | e2897791076cb228e58573d984d0eff42839e2eb /bin | |
| parent | 7d9556681dc9aa23f6aba95e542e1c6e6aa01506 (diff) | |
bin/get-pick-list.sh: simplify git oneline printing
Currently we force disable the pager via "|cat" where --no-pager
exists. Additionally we could use git show instead of git log -n1.
Use those for a slightly more understandable code.
Cc: mesa-stable@lists.freedesktop.org
Reviewed-by: Juan A. Suarez <jasuarez@igalia.com>
Reviewed-by: Eric Engestrom <eric.engestrom@intel.com>
Signed-off-by: Emil Velikov <emil.velikov@collabora.com>
Diffstat (limited to 'bin')
| -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 9e9a39e494b..ba741cc4114 100755 --- a/bin/get-pick-list.sh +++ b/bin/get-pick-list.sh @@ -32,7 +32,7 @@ do continue fi - git log -n1 --pretty=oneline $sha | cat + git --no-pager show --summary --oneline $sha done rm -f already_picked |