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!
- tommilligan added the
- 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
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.