diff options
Diffstat (limited to 'people/flip1995.toml')
| -rw-r--r-- | people/flip1995.toml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/people/flip1995.toml b/people/flip1995.toml index 8b6f9bf..6de8f47 100644 --- a/people/flip1995.toml +++ b/people/flip1995.toml @@ -1,6 +1,4 @@ name = "Philipp Krones" github = "flip1995" github-id = 9744647 - -[permissions] -bors.clippy.review = true +email = "hello@philkrones.com" |