diff options
| author | Emil Velikov <[email protected]> | 2017-02-11 12:45:21 +0000 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2017-02-16 15:17:52 +0000 |
| commit | 71e00d62ed2228a773a4f5abff98a16961e7f21c (patch) | |
| tree | 9d23916f5f45cc59df33e0adb13986e8ad563c36 /.mailmap | |
| parent | cb1947eac70f63d78835a5442017b1f3b7099d77 (diff) | |
bin/get-extra-pick-list: rework to use already_picked list
Currently we loop (git log --grep) to check if the fix has landed. We
can simplify and make things faster by storing the already_picked list
and grep ping through it.
Slim down the message while we're here.
Cc: "13.0 17.0" <[email protected]>
Signed-off-by: Emil Velikov <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions