name = "Martin Carton"
github = "mcarton"
github-id = 3751788

[permissions]
bors.clippy.review = true