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

Original change: https://android-review.googlesource.com/c/platform/development/+/1363360 Change-Id: I30a57761bfd09a5d91e65980ae72fd15aa3cf8a2
2020-07-20 08:59:43 +00:00
parent 8effe40083 02006e0199
commit 129197815d
1 changed files with 1 additions and 0 deletions
--- a/tools/repo_pull/repo_patch.py
+++ b/tools/repo_pull/repo_patch.py
@@ -23,6 +23,7 @@ from __future__ import print_function

 import argparse
 import os
+import sys

 from gerrit import (
    create_url_opener_from_args, find_gerrit_name, query_change_lists, get_patch