From e127a080a162eb40d7cc208c73421573399e8f3b Mon Sep 17 00:00:00 2001
From: Brandon Thomas <echelon@gmail.com>
Date: Thu, 15 Oct 2026 01:14:53 -0400
Subject: [PATCH] CI: drop a duplicate contributor entry in people.toml

#1708 merged with main added [people.finwarman] a second time; the build
then fell back to usernames only.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
---
 contributors/people.toml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/contributors/people.toml b/contributors/people.toml
index 2749e0f3f..da86d62d2 100644
--- a/contributors/people.toml
+++ b/contributors/people.toml
@@ -131,6 +131,3 @@ sync_github_name = false
 
 [people.rbr48]
 sync_github_name = true
-
-[people.finwarman]
-real_name = "Fin Warman"