[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"]