Re: Bug Report: notes disassociated after history edits

Jeff King [off-list ref] 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 ;-)