diff options
Diffstat (limited to 'people/mcarton.toml')
| -rw-r--r-- | people/mcarton.toml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/people/mcarton.toml b/people/mcarton.toml index d0227f7..d81d3c8 100644 --- a/people/mcarton.toml +++ b/people/mcarton.toml @@ -1,6 +1,5 @@ name = "Martin Carton" github = "mcarton" github-id = 3751788 +email = "cartonmartin@gmail.com" -[permissions] -bors.clippy.review = true |