Auto merge of rust-lang#3058 - RalfJung:no-merge, r=saethlin

enforce no-merge policy via triagebot r? `@rust-lang/miri`
RalfJung · Sep 11, 2023 · 3bf9c5a · 3bf9c5a
2 parents 864c3f3 + ee6b2ec
commit 3bf9c5a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
@@ -208,7 +208,7 @@ jobs:
           git push -u origin $BRANCH
       - name: Create Pull Request
         run: |
-          PR=$(gh pr create -B master --title 'Automatic sync from rustc' --body '')
+          PR=$(gh pr create -B master --title 'Automatic sync from rustc' --body '' --label subtree-sync)
           ~/.local/bin/zulip-send --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com \
             --stream miri --subject "Cron Job Failure (miri, $(date -u +%Y-%m))" \
             --message "A PR doing a rustc-pull [has been automatically created]($PR) for your convenience."

diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml
@@ -9,3 +9,6 @@ allow-unauthenticated = [
 
 # Gives us the commands 'ready', 'author', 'blocked'
 [shortcut]
+
+[no-merges]
+exclude_labels = ["rollup", "subtree-sync"]