fixup! Use a workaround for get_repository_url when git is not installed.