update .gitmodules to the https link to reveal