Subscribe kubkon to wasi label

2020-03-25 09:44:43 +01:00
parent 5cfcbeb59d
commit 336d9d1ab6
1 changed files with 2 additions and 1 deletions
--- a/.github/subscribe-to-label.json
+++ b/.github/subscribe-to-label.json
@@ -1,5 +1,6 @@
 {
  "bnjbvr": ["cranelift"],
  "fitzgen": ["fuzzing"],
-  "peterhuene": ["wasmtime:api", "wasmtime:c-api"]
+  "peterhuene": ["wasmtime:api", "wasmtime:c-api"],
+  "kubkon": ["wasi"]
 }