changed git protocol to http in order to let machines fetch repo anonymously