github: PR labeler should label prod (wikimedia-gadgets#1603)

NovemLinguae · Jul 6, 2022 · 15de04d · 15de04d
1 parent 77a74f3
commit 15de04d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/labels.yml b/.github/labels.yml
@@ -20,6 +20,8 @@
   - modules/twinklediff.js
 "Module: fluff":
   - modules/twinklefluff.js
+"Module: prod":
+  - modules/twinkleprod.js
 "Module: protect":
   - modules/twinkleprotect.js
 "Module: speedy":