Jeff King <p...@peff.net> writes: > ... > --commit-filter ' > commit=$(git commit-tree "$@") > git notes copy $GIT_COMMIT $commit > echo $commit > '
Thanks. I was writing the same "git notes copy $this $that" based response, but TIL we had --stdin to feed the input in bulk ;-)
