From 881b3f5fe2c5d093663a49a0f672c2f29297188b Mon Sep 17 00:00:00 2001
From: aiongg <aiongtaigi@gmail.com>
Date: Thu, 22 Oct 2026 02:35:54 +0000
Subject: [PATCH] Integration: restore sync_github_name for marcoarnulfo after
 merging the contributor entries

---
 contributors/people.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contributors/people.toml b/contributors/people.toml
index 658e2e6fd..566303f10 100644
--- a/contributors/people.toml
+++ b/contributors/people.toml
@@ -75,6 +75,7 @@ sync_github_name = true
 [people.marcoarnulfo]
 real_name = "Marco Arnulfo"
 display_name = "Marco Arnulfo"
+sync_github_name = false
 
 [people.Harrison-Booth]
 real_name = "Harrison Booth"