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.