Comment by sametmax

Yes but you still have configurations and docs referencing the repo to change. Then find a mean to alert all interested persons. And then write a script to migrate the issues.

It's not a big deal, it's just work that I don't want to do. Espacially since I love github.