fetch git repos through https