Michael Kirk
Michael Kirk
bors retry
bors r+ one last try bors.
Bors is crashing, I'm going to follow up with some bors peeps. update: done here https://forum.bors.tech/t/bors-crashing-resource-not-accessible-by-integration/571/3 update 2: looking into similarly errors reported, it seems like "editing the workflow file"...
So it looks like the feature has been added and at this point we're just waiting on a release, is that right? @lnicola - would you be interested in becoming...
> would you be interested in becoming a publisher for this crate? Added - publish at will!
> Intersections with >4 legs are riskier. We may need to do more work on intersection merging to pick up all of these. FYI - the "number of legs" metric...
> There's lots of ideas here; I'll probably start specifically with > Recording and displaying data for an individual walking/cycling trip. We could show "green/yellow/red" parts of the route, and...
Another thought - if you are tied to the design of presenting an interface whose goal is to highlight an overall "this is a _good_ road" / "this is a...