diff --git a/.github/config/repo_devs.json b/.github/config/repo_devs.json index a2aaac4f2..6f8b9f90c 100644 --- a/.github/config/repo_devs.json +++ b/.github/config/repo_devs.json @@ -1,6 +1,6 @@ { "repo_devs": [ - "frooodle", + "Frooodle", "sf298", "Ludy87", "LaserKaspar",