Any data that is stored on GitHub (ex issues, PRs) can be pulled down via the REST API. So, it should be relatively easy to build a migration tool or alternate UI if necessary.
Any data that is stored on GitHub (ex issues, PRs) can be pulled down via the REST API. So, it should be relatively easy to build a migration tool or alternate UI if necessary.