correct way of git+https