diff --git a/src/triagebot/merge-conflicts.md b/src/triagebot/merge-conflicts.md index a22b3bf1..ea601bce 100644 --- a/src/triagebot/merge-conflicts.md +++ b/src/triagebot/merge-conflicts.md @@ -20,6 +20,7 @@ This feature is enabled on a repository by having a `[merge-conflicts]` table in There are several optional keys that you can include: +- `consider-prs-from-bots` --- Should merge conflicts be reported for PR opened by bots. - `remove` --- A list of labels to remove from the PR when a conflict is detected. - `add` --- A list of labels to add to the PR when a conflict is detected. - `unless` --- A list of labels that, if already present on the PR, will prevent triagebot from adding or removing labels. @@ -28,6 +29,7 @@ There are several optional keys that you can include: ```toml [merge-conflicts] +consider-prs-from-bots = true remove = ['S-waiting-on-bors'] add = ['S-waiting-on-author'] unless = ['S-blocked', 'S-waiting-on-crater', 'S-waiting-on-team', 'S-waiting-on-review'] diff --git a/src/triagebot/range-diff.md b/src/triagebot/range-diff.md index 74ac9d67..955bdb5d 100644 --- a/src/triagebot/range-diff.md +++ b/src/triagebot/range-diff.md @@ -11,6 +11,10 @@ This feature is enabled on a repository by having a empty `[range-diff]` table i [range-diff] ``` +There are optional keys that you can include: + +- `consider-push-from-bots` (default: `false`) --- Should push from bots be consider for a range-diff comment. + ## Implementation See [`src/handlers/check_commits/range_diff.rs`](https://github.com/rust-lang/triagebot/blob/HEAD/src/handlers/check_commits/force_push_range_diff.rs). diff --git a/src/triagebot/zulip-notifications.md b/src/triagebot/zulip-notifications.md index 8d13b0d4..a46c3715 100644 --- a/src/triagebot/zulip-notifications.md +++ b/src/triagebot/zulip-notifications.md @@ -29,6 +29,11 @@ zulip_stream = 245100 # #t-compiler/prioritization/alerts # {title} is replaced with the issue/PR title. topic = "#{number} {title}" +# Optional message to be posted on GitHub when opening the Zulip topic. +# Useful to add a backlink from GitHub to the Zulip topic. +# Supports {zulip_topic_url} substitution. +github_comment = "[Zulip topic]({zulip_topic_url}) was opened to discuss this issue." + # The message to post when the label is added. # Supports {number} and {title} substitution. message_on_add = "Issue #{number} \"{title}\" has been added."