diff --git a/people/tblah.toml b/people/tblah.toml deleted file mode 100644 index ab466ad79..000000000 --- a/people/tblah.toml +++ /dev/null @@ -1,4 +0,0 @@ -name = 'Tom Eccles' -github = 'tblah' -github-id = 3716681 -zulip-id = 311871 diff --git a/teams/risc-v.toml b/teams/risc-v.toml index 60b85068f..682d2a43d 100644 --- a/teams/risc-v.toml +++ b/teams/risc-v.toml @@ -6,6 +6,5 @@ leads = [] members = [ "denisvasilik", "kraj", - "tblah", "sweiglbosker", ]