Graham Downs on Nostr: Hmm, you could probably script it, though. Moving the code is a matter of pulling it ...

Hmm, you could probably script it, though. Moving the code is a matter of pulling it all down, removing the remote, adding the new remote (to e.g. GitLab or BitBucket or whatever), and pushing again.

Physically creating the repo in the new place could probably also be done programmatically, depending on the API support of the service you're moving *to*.

Moving PRs and Issues and Releases... yeah, that could be tricky. You can obviously access all that stuff using the GitHub API, but what to do with them? Releases maybe, you could simply create in the new system. Maybe Issues/Discussions too. But PRs? Hmm, could be tricky.