Search results

Remove escaping of GitHub usernames in merge commit messages

good first issueGood for newcomersGood for newcomers

Status: Open.

#455 In rust-lang/bors;

· Kobzol opened on Nov 9, 2025

Do not allow approving PRs with a merge conflict

good first issueGood for newcomersGood for newcomers

Status: Open.

#452 In rust-lang/bors;

· Kobzol opened on Nov 1, 2025

Escaping job wildcard via backtick does not work

Status: Open.

#430 In rust-lang/bors;

· RalfJung opened on Sep 13, 2025

Queue page tracking issue

Status: Open.

#416 In rust-lang/bors;

· Sakib25800 opened on Aug 25, 2025

Handle missed webhoooks for finished builds

Status: Open.

#388 In rust-lang/bors;

· Kobzol opened on Jul 25, 2025

Merge queue tracking issue

tracking issueTracking issueTracking issue

Status: Open.

#325 In rust-lang/bors;

· Sakib25800 opened on Jun 24, 2025

Unapprove PR if PR CI fails

Status: Open.

#317 In rust-lang/bors;

· Kobzol opened on Jun 19, 2025

Port rollup unrolling from rustc-perf to bors

Status: Open.

#285 In rust-lang/bors;

· Kobzol opened on May 27, 2025

Ensure merges to different branches can't roll up together

Status: Open.

#277 In rust-lang/bors;

· tgross35 opened on Apr 28, 2025

Feature completeness

tracking issueTracking issueTracking issue

Status: Open.

#220 In rust-lang/bors;

· Kobzol opened on Mar 7, 2025

Differences between bors and homu

tracking issueTracking issueTracking issue

Status: Open.

#206 In rust-lang/bors;

· Kobzol opened on Mar 2, 2025

Allow running multiple merge builds in parallel

Status: Open.

#199 In rust-lang/bors;

· Kobzol opened on Feb 18, 2025