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

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

Change-Id: If2f1f2c7dffeae349e11b342cbfcf8cd14ac1bcb