From 308f58b5877b1e92a213ebecd74bc45f71a1deba Mon Sep 17 00:00:00 2001 From: Karma Riuk Date: Sun, 30 Mar 2025 10:58:48 +0200 Subject: [PATCH] fixed final edgecase --- dataset.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dataset.py b/dataset.py index bc43405..9c4ad3e 100644 --- a/dataset.py +++ b/dataset.py @@ -154,7 +154,7 @@ def try_read_file(fname: str) -> str: try: with open(fname, "r", encoding="utf-8") as f: return f.read() - except FileNotFoundError: + except (UnicodeDecodeError, FileNotFoundError): return "Binary file (from filesystem), to be ignored" except IsADirectoryError: return "File listed in PR is a directory (likely a submodule), to be ignored"