Bors r- not working as expected


Asking here first instead of filing a bug, because I’m not sure if this is a bug or just a misunderstanding.

A colleague commented bors r+ on a branch this afternoon, then realised it shouldn’t be merged yet and commented bors r- right after. This correctly aborted the batch that had started, but then the PR was included in the next batch and merged, which is not what I would have expected:


How long has it been since you last updated?


Hmm, bors reports build 0.0.4 so “a while”. Also I think I see what happened, the wrong PR got unreviewed, so this is probably and will be fixed if I update. Sorry for the noise!


No problem. Version reporting in the Docker builds is actually kinda messed up, now that I look at it. Working on that now!


Okay, I just pushed a new Docker image to borsng/bors-ng. It should report its version properly now.