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>
This commit is contained in:
Brandon Thomas
2026-10-15 01:14:53 -04:00
committed by GitHub
co-authored by Claude Opus 5.5
parent 5b49d692a5
commit e127a080a1
-3
View File
@@ -131,6 +131,3 @@ sync_github_name = false
[people.rbr48]
sync_github_name = true
[people.finwarman]
real_name = "Fin Warman"