Merge PR #6390: Contributors: add Marco Arnulfo

This commit is contained in:
aiongg
2026-10-22 02:21:48 +00:00
+5
View File
@@ -195,3 +195,8 @@ sync_github_name = true
[people.ha1des]
sync_github_name = true
[people.marcoarnulfo]
real_name = "Marco Arnulfo"
display_name = "Marco Arnulfo"
sync_github_name = false