use HTTPS git address in setup