Skip to content

Commit

Permalink
Auto merge of rust-lang#3062 - pitaj:subtree-update, r=RalfJung
Browse files Browse the repository at this point in the history
triagebot exclude_labels -> exclude_titles

rust-lang/triagebot#1720
  • Loading branch information
bors committed Sep 16, 2023
2 parents 0398759 + 09fd7a8 commit 25e7808
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion src/tools/miri/.github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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 '' --label subtree-sync)
PR=$(gh pr create -B master --title 'Automatic sync from rustc' --body '')
~/.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."
Expand Down
4 changes: 2 additions & 2 deletions src/tools/miri/miri-script/src/commands.rs
Original file line number Diff line number Diff line change
Expand Up @@ -339,9 +339,9 @@ impl Command {
"Confirmed that the push round-trips back to Miri properly. Please create a rustc PR:"
);
println!(
// Open PR with `subtree-sync` label to satisfy the `no-merges` triagebot check
// Open PR with `subtree update` title to silence the `no-merges` triagebot check
// See https://github.com/rust-lang/rust/pull/114157
" https://github.com/rust-lang/rust/compare/{github_user}:{branch}?quick_pull=1&labels=subtree-sync"
" https://github.com/rust-lang/rust/compare/{github_user}:{branch}?quick_pull=1&title=Miri+subtree+update"
);

drop(josh);
Expand Down
2 changes: 1 addition & 1 deletion src/tools/miri/triagebot.toml
Original file line number Diff line number Diff line change
Expand Up @@ -11,4 +11,4 @@ allow-unauthenticated = [
[shortcut]

[no-merges]
exclude_labels = ["rollup", "subtree-sync"]
exclude_titles = ["Rollup of", "sync from rustc"]

0 comments on commit 25e7808

Please sign in to comment.