Update the documentation regarding the migration to GitHub

Point to 7.0 branch?