name = "Philipp Krones"
github = "flip1995"
github-id = 9744647

[permissions]
bors.clippy.review = true