diff options
Diffstat (limited to 'teams/clippy.toml')
| -rw-r--r-- | teams/clippy.toml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/teams/clippy.toml b/teams/clippy.toml index 0b7ae88..a460ad9 100644 --- a/teams/clippy.toml +++ b/teams/clippy.toml @@ -8,6 +8,12 @@ members = [ "killercup", "Manishearth", "oli-obk", + "matthiaskrgr", + "phansch", + "birkenfeld", + "mikerite", + "flip1995", + "mcarton", ] [permissions] |