From abf57c7833ba271f18a7dfccbb810f73e02e517d Mon Sep 17 00:00:00 2001
From: "Steinar H. Gunderson" <sgunderson@bigfoot.com>
Date: Sat, 11 Nov 2023 18:37:23 +0100
Subject: [PATCH] Do not use quotes around people's Slack names; it seems a bit
 weird.

---
 bin/sync.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/sync.pl b/bin/sync.pl
index 3d35510..84b66d1 100644
--- a/bin/sync.pl
+++ b/bin/sync.pl
@@ -675,7 +675,7 @@ sub run {
 					}
 				}
 			}
-			log_timing($start, "Fuzzy-searching for Slack name “$slack_name”");
+			log_timing($start, "Fuzzy-searching for Slack name $slack_name");
 			if ($#candidates == -1) {
 				skv_log("$slack_name ($userid) er påmeldt på Slack, men fant ikke et regneark-navn for dem.");
 				possibly_nag_user($dbh, $ua, $userid, $invitation_ts, undef, \%slack_userid_to_slack_name);
-- 
2.39.2