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"?

-- 
D. Ben Knoble