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

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

Change-Id: I26a809b835c649506cfc8c401a6d83014dc36590