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!
No notable additions this month. ☹️
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.