Update the documentation regarding the migration to GitHub

Changed