diff options
| author | Juan A. Suarez Romero <[email protected]> | 2017-04-05 20:14:22 +0200 |
|---|---|---|
| committer | Juan A. Suarez Romero <[email protected]> | 2017-04-20 10:28:21 +0200 |
| commit | 99b41631bb98d154df3dd01f17edd5e5a6a7d1f1 (patch) | |
| tree | 683265f5ba22a0f3a69e60b007b60ba85de68bc1 /bin/get-fixes-pick-list.sh | |
| parent | 8a7e3693c8efe540256739eff233b2e88ab293a6 (diff) | |
bin/get-{extra,fixes}-pick-list.sh: add support for ignore list
Both scripts does not use a file with the commits to ignore. So if we
have handled one of the suggested commits and decided we won't pick it,
the scripts will continue suggesting them.
v2:
- Mark the candidates in bin/get-extra-pick-list.sh (Juan A. Suarez)
- Use bin/.cherry-ignore to store rejected patches (Emil)
Reviewed-by: Emil Velikov <[email protected]>
Diffstat (limited to 'bin/get-fixes-pick-list.sh')
| -rwxr-xr-x | bin/get-fixes-pick-list.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/get-fixes-pick-list.sh b/bin/get-fixes-pick-list.sh index 75242a22829..73afd0c22a1 100755 --- a/bin/get-fixes-pick-list.sh +++ b/bin/get-fixes-pick-list.sh @@ -24,6 +24,13 @@ git log --reverse --grep="cherry picked from commit" $latest_branchpoint..HEAD | git log --reverse --pretty=%H -i --grep="fixes:" $latest_branchpoint..origin/master |\ while read sha do + # Check to see whether the patch is on the ignore list ... + if [ -f bin/.cherry-ignore ] ; then + if grep -q ^$sha bin/.cherry-ignore ; then + continue + fi + fi + # For each one try to extract the tag fixes_count=`git show $sha | grep -i "fixes:" | wc -l` if [ "x$fixes_count" != x1 ] ; then |