From de556e816fcf2912a3c9248e4e4c5c7b257dadd5 Mon Sep 17 00:00:00 2001 From: Karma Riuk Date: Thu, 20 Mar 2025 11:02:40 +0100 Subject: [PATCH] removed unused import --- pull_requests.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pull_requests.py b/pull_requests.py index 03b3586..b1b2f62 100644 --- a/pull_requests.py +++ b/pull_requests.py @@ -8,7 +8,7 @@ from tqdm import tqdm from datetime import datetime from dataset import Dataset, DatasetEntry, FileData, Metadata -from handlers import FileNotCovered, HandlerException, get_build_handler +from handlers import HandlerException, get_build_handler from utils import has_only_1_comment, move_github_logging_to_file, clone