It’s another monthly burst of news about bors-ng, an opinionated GitHub Workflow Bot.
In the last month, we landed 8 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
- notriddle updated bors to Elixir 1.14 and OTP 25
- VibhuSrivastava fixed bors to sync project contributors, even if the PRs later failed
- topher200 fixed the Gitpod dockerfile
New Contributors
Want to see your name in this newsletter? Contribute on our GitHub repository.
Who’s using bors?
This month’s featured user is geoengine, a platform for geospatial data processing (like, cartography calculations). Its backend exposes a REST API, that gets consumed by their web frontend, Python API, and third-party tools.
Got any suggestions for next month? Post a comment on the December pull request.