It’s another monthly burst of news about bors-ng, a bot to implement clean merges for a GitHub repository.

In the last month, we landed 18 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!

Notable Additions

• tommilligan added the PUBLIC_PROTOCOL configuration parameter
• zli-simspace improved logging for unknown webhook types
• zli-simspace fixed a crashing bug when GitHub rejects a request to delete a branch
• zli-simspace added a debug message when some kinds of bugs are reached in preflight checks

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 AWS.jl, a library for using Amazon Web Services from the Julia programming language.

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