Hello:
It looks like git-filter-repo has no support for copying notes, even when the following is defined in git-config:
[notes]
rewriteRef = refs/notes/commits
[notes "rewrite"]
rebase = true
amend = trueI'm wondering if this is deliberately left out or if it's something that will be potentially implemented in the future.
Best wishes, Konstantin