diff options
-rw-r--r-- | people/otavio.toml | 4 | ||||
-rw-r--r-- | teams/wg-rustfmt.toml | 2 |
2 files changed, 0 insertions, 6 deletions
diff --git a/people/otavio.toml b/people/otavio.toml deleted file mode 100644 index c7e5216..0000000 --- a/people/otavio.toml +++ /dev/null @@ -1,4 +0,0 @@ -name = "Otavio Salvador" -github = "otavio" -github-id = 25278 -email = "otavio@ossystems.com.br" diff --git a/teams/wg-rustfmt.toml b/teams/wg-rustfmt.toml index dba0141..86d4027 100644 --- a/teams/wg-rustfmt.toml +++ b/teams/wg-rustfmt.toml @@ -5,8 +5,6 @@ wg = true [people] leads = ["topecongiro"] members = [ - "nrc", - "otavio", "scampi", "topecongiro", ] |