diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-08-26 11:04:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-26 11:04:59 +0200 |
commit | a272571eaaf2ae3337dee50259150852e03bd3e3 (patch) | |
tree | baa8414217f03446f19895b2ab5040c1fa2fcfaf | |
parent | 3c2afc1164c58a47ffe5a72b3cb308151226e2fd (diff) | |
parent | 236690626a8a69cbe8cb9c69a89185924593eb53 (diff) |
Merge pull request #101 from therealprof/add-wg-members
Add user ids of new embedded-wg members
-rw-r--r-- | people/Disasm.toml | 4 | ||||
-rw-r--r-- | people/reitermarkus.toml | 4 | ||||
-rw-r--r-- | teams/wg-embedded.toml | 6 |
3 files changed, 12 insertions, 2 deletions
diff --git a/people/Disasm.toml b/people/Disasm.toml new file mode 100644 index 0000000..7ceea8b --- /dev/null +++ b/people/Disasm.toml @@ -0,0 +1,4 @@ +name = 'Vadim Kaushan' +github = 'Disasm' +github-id = 1418749 +email = 'admin@disasm.info' diff --git a/people/reitermarkus.toml b/people/reitermarkus.toml new file mode 100644 index 0000000..e81fa93 --- /dev/null +++ b/people/reitermarkus.toml @@ -0,0 +1,4 @@ +name = 'Markus Reiter' +github = 'reitermarkus' +github-id = 1309829 +email = 'me@reitermark.us' diff --git a/teams/wg-embedded.toml b/teams/wg-embedded.toml index fa561a9..5d1f963 100644 --- a/teams/wg-embedded.toml +++ b/teams/wg-embedded.toml @@ -2,21 +2,22 @@ name = "wg-embedded" wg = true [people] -leads = ["japaric"] +leads = ["japaric", "therealprof", "jamesmunns"] members = [ - "japaric", "adamgreig", "andre-richter", "awygle", "bradjc", "cr1901", "danc86", + "Disasm", "dvc94ch", "dylanmckay", "Emilgardis", "hannobraun", "ithinuel", "jamesmunns", + "japaric", "jcsoo", "korken89", "nastevens", @@ -26,6 +27,7 @@ members = [ "pftbest", "posborne", "raw-bin", + "reitermarkus", "ryankurte", "sekineh", "thejpster", |