| [relabel] |
| allow-unauthenticated = [ |
| "A-*", |
| "C-*", |
| "E-*", |
| "I-*", |
| "S-*", |
| ] |
| |
| # Gives us the commands 'ready', 'author', 'blocked' |
| [shortcut] |
| |
| # Enables assigning users to issues and PRs. |
| [assign] |
| warn_non_default_branch = true |
| contributing_url = "https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md" |
| |
| [no-merges] |
| exclude_titles = ["Rustup"] |
| |
| [review-submitted] |
| # This label is added when a "request changes" review is submitted. |
| reviewed_label = "S-waiting-on-author" |
| # These labels are removed when a "request changes" review is submitted. |
| review_labels = ["S-waiting-on-review"] |
| |
| [review-requested] |
| # Those labels are removed when PR author requests a review from an assignee |
| remove_labels = ["S-waiting-on-author"] |
| # Those labels are added when PR author requests a review from an assignee |
| add_labels = ["S-waiting-on-review"] |
