Merge "repo_pull: Automatically extract gerrit instance from `repo manifest`" am: 9160fbc06f am: 4b1b426db2

Original change: https://android-review.googlesource.com/c/platform/development/+/1353903

Change-Id: If78c097df1649ea48a16dae2611934a45fc1bdf6