Dear All,
It is my pleasure to announce that thanks to GitHub engineers, it
seems that the final blocker was resolved. The migration is underway.
I will keep you informed. The rate of issue transfer is approx 1-2
issues per second. So it will likely be running overnight.