Bors crashing today

Hi,

Today bors started crashing on one of our repos:

Looking at the crash log it seems that our buildbot instance is reporting success, but bors itself is crashing (?)

Any idea what's going on?

Is it still doing it?

We did a bors r+ on a PR just a moment ago and it merged successfully:

So I think the problem is resolved. I guess you found the problem?

1 Like

Yeah. It was https://github.com/bors-ng/bors-ng/issues/866