Re: Bug Report: notes disassociated after history edits
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 23, 2019, 16:58 UTC
- Message-ID
- <xmqq5zmnn7j3.fsf@gitster-ct.c.googlers.com>
- In-Reply-To
- <20190823055932.GA10806@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
Show 6 quoted lines
> ... > --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 ;-)