mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

triagebot exclude_labels -> exclude_titles

Browse Source
This commit is contained in:
Peter Jaszkowiak 2023-09-15 21:43:14 -06:00
parent 039875986c
commit 09fd7a8722
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/.github/workflows/ci.yml vendored
View File

@ -208,7 +208,7 @@ jobs:
git push -u origin $BRANCH git push -u origin $BRANCH
- name: Create Pull Request - name: Create Pull Request
run: | 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 \ ~/.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))" \ --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." --message "A PR doing a rustc-pull [has been automatically created]($PR) for your convenience."

4
src/tools/miri/miri-script/src/commands.rs
View File

@ -339,9 +339,9 @@ impl Command {
"Confirmed that the push round-trips back to Miri properly. Please create a rustc PR:" "Confirmed that the push round-trips back to Miri properly. Please create a rustc PR:"
); );
println!( 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 // 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); drop(josh);

2
src/tools/miri/triagebot.toml
View File

@ -11,4 +11,4 @@ allow-unauthenticated = [
[shortcut] [shortcut]
[no-merges] [no-merges]
exclude_labels = ["rollup", "subtree-sync"] exclude_titles = ["Rollup of", "sync from rustc"]