It’s another monthly burst of news about bors-ng, an integration bot.
In the last month, we landed 17 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
No notable additions were made this month. It was all dependency updates. ☹
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 VersionVigilante.jl, a Julia CI tool for enforcing the rule that all pull requests must increase the version number in your project’s Project.toml
file. There’s instructions on how to use it with bors, too!
Got any suggestions for next month? Post a comment on the September pull request.