It’s another monthly burst of news about bors-ng, a merge bot with a dichotomy-based bad PR identification strategy.

In the last month, we landed 1 PR in the bors-ng repository.

“This Month in Bors” is written in public on GitHub. If you find a mistake, pull requests or issue reports are appreciated!

Notable Additions

No notable additions this month. ☹️

New Contributors

No new contributors this month. ☹️

Want to see your name in this newsletter? Contribute on our GitHub repository.

Who’s using bors?

This month’s featured user is dada-lang, a work-in-progress, high-level programming language with move semantics.

Got any suggestions for next month? Post a comment on the October pull request.