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

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

Change-Id: I581558866bfa4453ce4d389bae7aeb36e56c8f65