modification of the git url so that https is used instead of ssh