From a00ac2bad661b14b474ad975ac0ad084d6f174c1 Mon Sep 17 00:00:00 2001
From: Luca Stefani <luca.stefani.ge1@gmail.com>
Date: Wed, 15 Jul 2020 11:19:01 +0200
Subject: [PATCH] repo_pull: Add missing import

Change-Id: Ieaeb8524e9543ecb962236c009e62f6b8d89ffaf
---
 tools/repo_pull/repo_patch.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/repo_pull/repo_patch.py b/tools/repo_pull/repo_patch.py
index e2a0453fc..c5367ca8c 100755
--- 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