Use https git for checkout