Merge "repo_pull: Automatically extract gerrit instance from `repo manifest`"