Skip to content

Issues: rust-lang/homu

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

55 Open 34 Closed
55 Open 34 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Rebase instruction include the deprecated --preserve-merges option
#217 opened Jun 16, 2024 by choznerol
1
Bors sometimes picks up an outdated commit
#216 opened May 30, 2024 by RalfJung
Bors sometimes tests a different commit than what got approved
#215 opened Mar 23, 2024 by RalfJung
When a PR gets "r-" during the auto build, bors thinks it's a try build
#214 opened Mar 20, 2024 by RalfJung
Clicking "synchronize" re-queues failed PRs
#213 opened Mar 4, 2024 by RalfJung
bors sometimes makes PRs haunted
#205 opened Feb 25, 2024 by Noratrieb
Use different email address for commits in different repos
#200 opened Jan 4, 2024 by RalfJung
Race condition when PR gets pushed while bors dequeues?
#198 opened Oct 18, 2023 by RalfJung
"@bors rollup+" should work
#196 opened Sep 22, 2023 by RalfJung
bors should prevent rolling up already merged PRs
#194 opened Jun 28, 2023 by klensy
Bors sometimes gets stuck, doesn't process the queue any more
#191 opened May 16, 2023 by RalfJung
5
Don't allow try-builds to be rolled up
#189 opened Feb 3, 2023 by compiler-errors
1
Include repo name in merge commit message?
#185 opened Nov 6, 2022 by RalfJung
bors squash does not close PRs
#181 opened Sep 14, 2022 by RalfJung
3
GitHub Webhooks Delivery Instability
#178 opened Jul 17, 2022 by pinkforest
Run try with a specific parent commit
#177 opened Jul 10, 2022 by Kobzol
Escape HTML when generating rollup messages
#175 opened Jul 3, 2022 by notriddle
Sometimes approves the wrong commit
#174 opened Jul 1, 2022 by ehuss
9
Make bors ignore mentions in inline code blocks.
#170 opened May 8, 2022 by xFrednet
Interation with rust-highfive assignment
#168 opened Apr 23, 2022 by mbartlett21
retry auto approves previously unapproved pr?
#159 opened Nov 7, 2021 by matthiaskrgr
bors squash doesn't work with rolled-up PRs
#158 opened Oct 17, 2021 by camelid
/queue/all links to non existing /retry_log/all
#157 opened Oct 10, 2021 by Skgland
Need prefix to PR number in merge commit message, otherwise incorrect linking occurs with subtrees
#144 opened Jun 21, 2021 by steffahn
1
4
may reuse a dirty worktree from previous PR errors
#142 opened May 15, 2021 by ehuss
1
ProTip! What’s not been updated in a month: updated:<2024-10-10.