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

enforce no-merge policy via triagebot

Browse Source
This commit is contained in:
Ralf Jung 2023-09-11 19:01:27 +02:00
parent 864c3f3cc5
commit ee6b2ece20
2 changed files with 4 additions and 1 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 '') 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 \ ~/.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."

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

@ -9,3 +9,6 @@ allow-unauthenticated = [
# Gives us the commands 'ready', 'author', 'blocked' # Gives us the commands 'ready', 'author', 'blocked'
[shortcut] [shortcut]
[no-merges]
exclude_labels = ["rollup", "subtree-sync"]