name = "Georg Brandl"
github = "birkenfeld"
github-id = 144359

[permissions]
bors.clippy.review = true