From fa9a78bc8b8cfb9e307526903aab958edd4ffcaa Mon Sep 17 00:00:00 2001
From: Nick Fitzgerald <fitzgen@gmail.com>
Date: Wed, 7 Aug 2024 13:20:20 -0700
Subject: [PATCH] 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
---
 .github/labeler.yml             | 3 +++
 .github/subscribe-to-label.json | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/labeler.yml b/.github/labeler.yml
index bccfbd59ca60..e404e6b4920c 100644
--- 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
index 6714782ca360..6623355d469b 100644
--- 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"]
 }