Even a gradual “manual” move would be pretty easy for most orgs. Most are probably only using issues and PRs. Close/merge all your PRs, put in an edict that sa

Even a gradual “manual” move would be pretty easy for most orgs. Most are probably only using issues and PRs. Close/merge all your PRs, put in an edict that says “no new issues” in GitHub, eventually all existing tickets will be close or go stale. Most organizations could probably use the house cleaning anyway.