

Ooh, I didn’t know that someone had developed a mechanism to move issues and PRs.
I remember commenting on the fact that while it’s easy to move the source repo itself from location to location, as git makes that easy and self-contained, issues and PRs didn’t enjoy that.
If I ever need to unload 40 tons of illicitly-obtained meat, I’ll be going to you, Mr. Semi.