zygo: pick-kernel: consolidate good/bad lists

diff --git a/zygo/pick-kernel b/zygo/pick-kernel
index 6803d893c9f95275da19df9d9cc3dde6c710acfc..6779711e04445ad96a41eddfbe429097d5b27cda 100755 (executable)
--- a/zygo/pick-kernel
+++ b/zygo/pick-kernel
@@ -9,23 +9,16 @@ hashes="$(git log --date-order ^HEAD --no-merges --format=%h --reverse "$@")"
 
 for x in $hashes; do
        if git cherry-pick -x "$x"; then
-               git log --oneline --no-walk "$x" >> PICK-GOOD
+               echo -n '++++ ' >&9
        else
                git cherry-pick --abort
-               git log --oneline --no-walk "$x" >> PICK-BAD
+               echo -n '---- ' >&9
        fi
-done
+       git log --oneline --no-walk "$x" >&9
+done 9> PICK-LIST
 
 git merge -s ours "$x" -m"zygo: cherry-picked up to $x (extra args $*)
 
-All commits:
+Commits included:
 
-$(git log --oneline --date-order --reverse --no-walk $hashes)
-
-Included:
-
-$(cat PICK-GOOD)
-
-Excluded:
-
-$(cat PICK-BAD)"
+$(cat PICK-LIST)"