Integration: restore sync_github_name for marcoarnulfo after merging the contributor entries

This commit is contained in:
aiongg
2026-10-22 02:35:54 +00:00
parent eaf9a3f230
commit 881b3f5fe2
+1
View File
@@ -75,6 +75,7 @@ sync_github_name = true
[people.marcoarnulfo] [people.marcoarnulfo]
real_name = "Marco Arnulfo" real_name = "Marco Arnulfo"
display_name = "Marco Arnulfo" display_name = "Marco Arnulfo"
sync_github_name = false
[people.Harrison-Booth] [people.Harrison-Booth]
real_name = "Harrison Booth" real_name = "Harrison Booth"