Automatically label changes to pulley/** with the pulley label (#…

…9086) * Automatically label changes to `pulley/**` with the `pulley` label * Subscribe myself to the `pulley` label
bytecodealliance · Aug 7, 2024 · fa9a78b · fa9a78b
1 parent 2bf307a
commit fa9a78b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/labeler.yml b/.github/labeler.yml
@@ -56,6 +56,9 @@
   - "cranelift/codegen/src/isa/*/lower/isle/**"
   - "cranelift/codegen/src/opts/*"
 
+"pulley":
+  - "pulley/**"
+
 "wasi":
   - "crates/wasi/**"
   - "crates/wasi-common/**"

diff --git a/.github/subscribe-to-label.json b/.github/subscribe-to-label.json
@@ -1,5 +1,5 @@
 {
   "cfallin": ["isle"],
-  "fitzgen": ["fuzzing", "isle", "wasmtime:ref-types"],
+  "fitzgen": ["fuzzing", "isle", "pulley", "wasmtime:ref-types"],
   "saulecabrera": ["winch"]
 }