From d87e7000391f0f829cfe97838c3a525c0031daeb Mon Sep 17 00:00:00 2001 From: Jeroen Schweitzer Date: Fri, 22 May 2026 18:43:00 +0200 Subject: [PATCH] fix(tooling): remove unused import in fill-missing-globes.py MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ruff F401 — unused 'import os'. Pre-existing in the globe-coverage script; ruff runs at pre-push (not pre-commit), so it surfaced only now and blocked the push. Co-Authored-By: Claude Opus 4.7 (1M context) --- tooling/fill-missing-globes.py | 1 - 1 file changed, 1 deletion(-) diff --git a/tooling/fill-missing-globes.py b/tooling/fill-missing-globes.py index 60104d614..8c880337f 100644 --- a/tooling/fill-missing-globes.py +++ b/tooling/fill-missing-globes.py @@ -15,7 +15,6 @@ Usage: """ import hashlib -import os import shutil import sqlite3 import sys