From 336d9d1ab6141ee6908e8f6de74cfd5f600ba55e Mon Sep 17 00:00:00 2001 From: Jakub Konka Date: Wed, 25 Mar 2020 09:44:43 +0100 Subject: [PATCH] Subscribe kubkon to wasi label --- .github/subscribe-to-label.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/subscribe-to-label.json b/.github/subscribe-to-label.json index 3d25fa3234..0f7e98c06e 100644 --- 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"] }