diff --git a/contributors/people.toml b/contributors/people.toml index d522b84e0..b92d6bb77 100644 --- a/contributors/people.toml +++ b/contributors/people.toml @@ -65,3 +65,7 @@ sync_github_name = true [people.Silvertree2010] display_name = "Netter" sync_github_name = false + +[people.marcoarnulfo] +real_name = "Marco Arnulfo" +sync_github_name = false