Contributors: add dotCooCoo (Robert Lee)

This commit is contained in:
dotCooCoo
2026-10-12 00:53:01 -07:00
parent 591cb579b3
commit 45f2a2090b
+4
View File
@@ -17,6 +17,10 @@
# To remove your names, delete your entry (or set fields empty) in a PR. The next
# contributors.py run, and the next build, drop them.
[people.dotCooCoo]
real_name = "Robert Lee"
sync_github_name = true
[people.echelon]
real_name = "Brandon Thomas"
display_name = "Brandon Thomas"