Migrate CMOs from AndyGlew/Ri5-stuff -- fork, import repo, prune repo, or just move files without history?

[AndyGlew]

I started writing a proposl for CMOs in https://github.com/AndyGlew/Ri5-stuff/wiki/CMOs-%28Cache-Management-Operations%29

Yes... the actual text is in the wiki https://github.com/AndyGlew/Ri5-stuff/wiki, although it is assembled by tools in the repo https://github.com/AndyGlew/Ri5-stuff.

Q: how should I migrate this?

I suppose that I could fork or otherwise import all of https://github.com/AndyGlew/Ri5-stuff/wiki and https://github.com/AndyGlew/Ri5-stuff. But this seems inappropriate, since there is non-CMO stuff there.

I could prune the git repos for the original repo&wiki, and import that. But, again, this doesn't seem quite right. Especially since I really should have a few pages and files in the https://github.com/riscv/riscv-CMOs repo&wiki ahead of importing my old proposal.

I will probably fall back to just moving over the files, losing any history from their original location. That makes me sad.

[AndyGlew]

What I really want is to prune out any non-CMO history, and then merge the CMO history from AndyGlew/Ri5-stuff
into the existing but not very big history of riscv/riscv-CMOs

But I don't know how to do this conceptually simple operation in git.

And I am pretty sure that it did not exist, oh, say, 10 years ago, because I asked Linus for it. He said it did not exist then, but that it could be added as porcelain. So I wonder if it has been added in the meantime? (And if the syntax will make my eyeballs bleed. (Yeah, I like bzr))

[AndyGlew]

Finally completed the migration, copying files, losing history from original AndyGlew/Ri5-stuff repo

git tag 'Migrated_from_AndyGlew_Ri5-stuff_to_riscv_riscv-CMOs'

in both riscv/riscv-CMOs and riscv/riscv-CMOs.wiki

All, or at least most, links repaired. Makefile generates PDF and HTML.