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 /docs/developers.html | |
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 'docs/developers.html')
0 files changed, 0 insertions, 0 deletions