Merge "repo_pull: Add missing import" am: 02006e0199 am: 129197815d

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

Change-Id: I436f7dbf9e5a0e9d80669cb22a598937b64f93ed