name = "Robin Kruppe"
github = "rkruppe"
github-id = 2311707

[permissions]
bors.rust.review = true