Merge "Refine repo_pull.py" am: efc8981299 am: 9c80ee5a59 am: fcdbf586e3

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

Change-Id: I92d922b842516669651b2c12c7c6ffc50c3fc83b