diff options
| author | Emil Velikov <[email protected]> | 2018-11-08 15:05:13 +0000 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 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: [email protected]
Reviewed-by: Juan A. Suarez <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Signed-off-by: Emil Velikov <[email protected]>
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 |