Awesome to see that the git history is preserved! Thanks for doing this-- I've seen a few of these kinds of merges where the easier route of squash-and-forget was taken and it's always a bit disappointing.

As for external contributions, well, you have at least one (incredibly minor) external contribution that I'm aware of. I'm sure that person is happy to see their commit survived the repo transition!