Fix a mistake in a git url