diff options
Diffstat (limited to 'people/phansch.toml')
-rw-r--r-- | people/phansch.toml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/people/phansch.toml b/people/phansch.toml index 678ccb9..f46c5d4 100644 --- a/people/phansch.toml +++ b/people/phansch.toml @@ -1,6 +1,4 @@ name = "Philipp Hansch" github = "phansch" github-id = 2042399 - -[permissions] -bors.clippy.review = true +email = "dev@phansch.net" |