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

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

Change-Id: I231ec4e29fed04b0cacd7f9b1ca510bce55e8bb6