| commit | a00ac2bad661b14b474ad975ac0ad084d6f174c1 | [log] [tgz] |
|---|---|---|
| author | Luca Stefani <luca.stefani.ge1@gmail.com> | Wed Jul 15 11:19:01 2020 +0200 |
| committer | Luca Stefani <luca.stefani.ge1@gmail.com> | Wed Jul 15 09:21:11 2020 +0000 |
| tree | 478a177132263dce9e1c7622be39ec0fbc7beeb7 | |
| parent | 9160fbc06fbbb6d22898828d2b05723b676ac7c2 [diff] |
repo_pull: Add missing import Change-Id: Ieaeb8524e9543ecb962236c009e62f6b8d89ffaf
diff --git a/tools/repo_pull/repo_patch.py b/tools/repo_pull/repo_patch.py index e2a0453..c5367ca 100755 --- a/tools/repo_pull/repo_patch.py +++ b/tools/repo_pull/repo_patch.py
@@ -23,6 +23,7 @@ import argparse import os +import sys from gerrit import ( create_url_opener_from_args, find_gerrit_name, query_change_lists, get_patch