It’s another monthly burst of news about bors-ng, a popular basic merge queue bot.
In the last month, we landed 3 PRs 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 made 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 AdaSockets, bindings for the BSD Socket API in the Ada language.
Got any suggestions for next month? Post a comment on the January pull request.