M14.8: opt in to public GitHub profile-name credit

This commit is contained in:
David Whiting 2026-10-08 20:50:54 +01:00
parent cb61bdf61f
commit 94ecbec9fc
1 changed files with 3 additions and 0 deletions

View File

@ -25,3 +25,6 @@ sync_github_name = false
[people.callmeBalloch]
real_name = "Riccardo Balloch"
sync_github_name = false
[people.mo0kid]
sync_github_name = true