name = "wg-debugging"
subteam-of = "devtools"
wg = true

[people]
leads = ["Manishearth", "michaelwoerister"]
members = [
    "Manishearth",
    "michaelwoerister",
]

[website]
name = "Debugging working group"
description = "debugging tools and foundations"
discord-invite = "https://discord.gg/UW3rnhd"
discord-name = "#wg-debugging"