It’s another monthly burst of news about bors-ng, a merge queue implementation.
In the last month, we landed 13 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!
- kidonng fixed a typo in the readme
- gfleury fixed a crashing bug that came up when using somef GitHub Enterprise-specific review types
Want to see your name in this newsletter? Contribute on our GitHub repository.
Who’s using bors?
This month’s featured user is Mtac2, an implementation of Typed Tactics for Backward Reasoning in Coq.
Got any suggestions for next month? Post a comment on the December pull request.