Migrate to GitHub?

Apr 10 at 8:27 AM
CodePlex is shutting down. Please migrate this repository to GitHub. I think the first step would be to ask Codeplex to convert the Mercury repository to a Git repository. Then migration to GitHub would be simple.
Jul 5 at 11:48 AM
Agreed. When will Irony be migrated to GitHub?