Merge "repo_pull: Add missing import"

2020-07-20 08:48:22 +00:00
parent 80e39b9d5c a00ac2bad6
commit 02006e0199
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