Added missing rust-embedded/tools team

therealprof · web-flow · commit 9a347cd1d5db · 2019-03-12T20:55:42.000+01:00
diff --git a/highfive/configs/_global.json b/highfive/configs/_global.json
@@ -8,6 +8,7 @@
         "rust-embedded/embedded-linux": ["@posborne", "@nastevens"],
         "rust-embedded/hal": ["@hannobraun", "@ryankurte", "@thejpster", "@therealprof", "@ithinuel", "@japaric"],
         "rust-embedded/infrastructure": ["@ryankurte", "@nastevens"],
-        "rust-embedded/resources": ["@adamgreig", "@andre-richter", "@jamesmunns", "@japaric", "@korken89", "@ryankurte", "@thejpster", "@therealprof"]
+        "rust-embedded/resources": ["@adamgreig", "@andre-richter", "@jamesmunns", "@japaric", "@korken89", "@ryankurte", "@thejpster", "@therealprof"],
+        "rust-embedded/tools": ["@Emilgardis", "@ryankurte", "@therealprof"]
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -8,6 +8,7 @@`
`8`	`8`	`"rust-embedded/embedded-linux": ["@posborne", "@nastevens"],`
`9`	`9`	`"rust-embedded/hal": ["@hannobraun", "@ryankurte", "@thejpster", "@therealprof", "@ithinuel", "@japaric"],`
`10`	`10`	`"rust-embedded/infrastructure": ["@ryankurte", "@nastevens"],`
`11`		`- "rust-embedded/resources": ["@adamgreig", "@andre-richter", "@jamesmunns", "@japaric", "@korken89", "@ryankurte", "@thejpster", "@therealprof"]`
	`11`	`+ "rust-embedded/resources": ["@adamgreig", "@andre-richter", "@jamesmunns", "@japaric", "@korken89", "@ryankurte", "@thejpster", "@therealprof"],`
	`12`	`+ "rust-embedded/tools": ["@Emilgardis", "@ryankurte", "@therealprof"]`
`12`	`13`	`}`
`13`	`14`	`}`