Merge pull request #1304 from fitzgen/re-enable-subscribe-to-label-action-and-more-bot-configs

Re enable subscribe to label action and more bot configs

.github/labeler.yml

@@ -20,23 +20,28 @@
 cranelift:
   - cranelift/**
 
-"cranelift:module":
-  - cranelift/cranelift-module/**
-  - cranelift/cranelift-object/**
-  - cranelift/cranelift-faerie/**
-  - cranelift/cranelift-simplejit/**
-
 "cranelift:docs":
   - cranelift/docs/**
 
 "cranelift:meta":
   - cranelift/codegen/meta/**
 
-lightbeam:
+"cranelift:module":
-  - crates/lightbeam/**
+  - cranelift/faerie/**
+  - cranelift/module/**
+  - cranelift/object/**
+  - cranelift/simplejit/**
+
+"cranelift:wasm":
+  - cranelift/wasm/**
+  - cranelift/wasmtests/**
 
 fuzzing:
   - crates/fuzzing/**
+  - fuzz/**
+
+lightbeam:
+  - crates/lightbeam/**
 
 wasi:
   - crates/wasi/**
@@ -48,3 +53,7 @@ wasi:
 
 "wasmtime:c-api":
   - crates/c-api/**
+
+"wasmtime:docs":
+  - *.md
+  - docs/**

.github/subscribe-to-label.json

@@ -1,3 +1,4 @@
 {
+  "fitzgen": ["fuzzing"],
   "peterhuene": ["wasmtime:api", "wasmtime:c-api"]
 }

.github/workflows/subscribe-to-label.yml

@@ -2,13 +2,12 @@ name: "Subscribe to Label"
 on:
   issues:
     types: ["labeled"]
-  # Temporarily disabled until we fix the bot...
+  schedule:
-  # schedule:
+    # Run pull request triage every 5 minutes. Ideally, this would be on
-  #   # Run pull request triage every 5 minutes. Ideally, this would be on
+    # "labeled" types of pull request events, but that doesn't work if the pull
-  #   # "labeled" types of pull request events, but that doesn't work if the pull
+    # request is from another fork. For example, see
-  #   # request is from another fork. For example, see
+    # https://github.com/actions/labeler/issues/12
-  #   # https://github.com/actions/labeler/issues/12
+    - cron: '*/5 * * * *'
-  #   - cron: '*/5 * * * *'
 jobs:
   triage:
     runs-on: ubuntu-latest