git-replay/git-history lose notes

Hi all,

I don't think this has been reported or discussed yet, though my apologies if my search skills just didn't find it.

It looks like git-replay and git-history will drop notes (or rather, not carry them over) when rewriting history. I've seen this both with "git replay --onto=… …" and "git history fixup" recently, though I suspect it affects all the modes.

Fortunately when I check range-diffs before pushing out new versions, I notice notes have disappeared and can "git notes copy @{1}" or similar for a note at the tip. Recovery for the intermediate commits is a little more… involved… as I'm sure you can imagine.

Are notes out of scope for replay and history, or is this just a "nobody's gotten around to it yet"?