From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 23 Aug 2019 16:58:08 GMT
Subject: Re: Bug Report: notes disassociated after history edits
Message-ID: <xmqq5zmnn7j3.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20190823055932.GA10806@sigill.intra.peff.net>

Jeff King <peff@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 ;-)