convert git:// to https://