Jakub Beránek
Jakub Beránek
We should also handle rollup labels (https://github.com/rust-lang/homu/blob/c5291c586d717f9766e376e65a95156d7cdc1b96/cfg.production.toml#L80).
This was discussed in https://github.com/rust-lang/bors/issues/314. The TLDR is that it would require considerable implementation complexity to distinguish ``` `@bors try jobs=...` vs @bors try jobs=`...` ``` So we don't do...
https://github.com/rust-lang/rustc-dev-guide/pull/2589
I wouldn't even say that it's real syntax, it's mostly just a hack to prevent GitHub from rendering the command as Markdown. Writing `bors try jobs=foo-*` can be interpreted by...
Actually, we already have a test for this (https://github.com/rust-lang/bors/blob/0f1f77644faffb5bac8156dd2d73a1719644c579/src/bors/command/parser.rs#L1105) and I think we have already discussed this on Zulip where someone suggested the escape 😆 So it should work to...
> I did not add the "create a similar PR" text in the rollup PR description as I'm not sure it's used - I can add that in another PR...
Thank you! The PR needs a rebase, and maybe a squash (17 commits is a bit too much), but other than that I think I'm ok with merging! We can...
Hi, thanks for the PR! :) I just wanted to note that I'm having a very busy week right now, and probably won't have time to take a look until...
@rustbot blocked
Yeah, that makes sense, should be easy to implement.