From 84848ebd3780cb566d045c9d37dddaee6919574a Mon Sep 17 00:00:00 2001 From: Lewis Jones Date: Thu, 28 Aug 2025 15:03:04 +0100 Subject: [PATCH] Attempt changing extension --- scripts/{scan_pr => scan_pr.rb} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename scripts/{scan_pr => scan_pr.rb} (100%) diff --git a/scripts/scan_pr b/scripts/scan_pr.rb similarity index 100% rename from scripts/scan_pr rename to scripts/scan_pr.rb