diff options
| author | Emil Velikov <[email protected]> | 2018-11-08 15:05:13 +0000 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2018-11-15 15:57:37 +0000 |
| commit | 9650fc05a5f4fcb8b62151127ca752a5b93d5e8c (patch) | |
| tree | 0d70d47309199b671fdab32a6f90ad036e919dad /bin | |
| parent | e1dc5715b23bfdffdd2d6f4cbc86ae1120276cc5 (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]>
(cherry picked from commit 559c32d2412b2ea602bb59aa61da75403d01a872)
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 |