Update the documentation regarding the migration to GitHub