It’s another monthly burst of news about bors-ng, a merge queue implementation for GitHub.
In the last month, we landed 2 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!
- notriddle fixed a pagination bug with large pull requests
- JulianPasquale fixed a problem with the contributed Helm charts
Want to see your name in this newsletter? Contribute on our GitHub repository.
Who’s using bors?
This month’s featured user is devshell, language-agnostic dev environment automation based on the Nix package manager.
Got any suggestions for next month? Post a comment on the April pull request.