Michael Howell
Michael Howell
Mostly, bors-ng uses Distillery for releases, which documents the various ways of configuring it here: https://github.com/bors-ng/distillery/blob/8ba8cb437e10e873152f1c44f13c5181752ba142/docs/config/runtime.md?plain=1#L139 In short, you'll want to configure how VM args are passed in config/prod.exs and...
It’s not really needed any more. We can migrate the last few things over to GHA.
It's not a feature that Bors has, but there's no reason in principle that it doesn't work that way.
https://github.com/bors-ng/bors-ng/blob/master/lib/worker/batcher.ex is probably the best place to start
> One is improve the code to gain performance (more parallelism? Reshape some logic on fetching github?). On this sense, maybe deploying bors in a cluster with more bors nodes...
JavaScript lazy-loading would fix the perf problems, but I think it would be better to just show the current version, maybe a few previous versions, and a link to a...
> I'm actually not sure to understand what you mean there. Do you suggest actually putting the version numbers into a real dropdown instead with a button "go to this...
Pressing escape works for closing all rustdoc modals. Having it mysteriously not work here would be confusing.
I think https://github.com/rust-lang/docs.rs/pull/1081 did it, since it got rid of the old `href` attribute.