Add note on migration to Github.