Merge "Refine repo_pull.py" am: efc8981299

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

Change-Id: I0a6a4e691f8633ccbe52770742e3b0a78ab870d9