git+ssh replaced by git+https