From ff659f009897c2416da424bc0c745841bff19ece Mon Sep 17 00:00:00 2001 From: Nick Fitzgerald Date: Mon, 15 Nov 2021 16:19:49 -0800 Subject: [PATCH] Subscribe myself to issues labeled "isle" --- .github/subscribe-to-label.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/subscribe-to-label.json b/.github/subscribe-to-label.json index 034999eb20..57e7bee8fa 100644 --- a/.github/subscribe-to-label.json +++ b/.github/subscribe-to-label.json @@ -1,5 +1,5 @@ { - "fitzgen": ["fuzzing", "cranelift:area:peepmatic", "wasmtime:ref-types"], + "fitzgen": ["cranelift:area:peepmatic", "fuzzing", "isle", "wasmtime:ref-types"], "peterhuene": ["wasmtime:api", "wasmtime:c-api"], "kubkon": ["wasi"] }