teams/clippy.toml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

name = "clippy"

[people]
leads = ["manishearth", "oli-obk"]
members = [
    "llogiq",
    "killercup",
    "manishearth",
    "oli-obk",
]

[website]
name = "Clippy"
description = "design and implementation of the Clippy linter"
discord-invite = "https://discord.gg/vNNtpyD"
discord-name = "#clippy"