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!

Notable Additions

• kidonng fixed a typo in the readme
• gfleury fixed a crashing bug that came up when using somef GitHub Enterprise-specific review types

New Contributors

• Kid (@kidonng)
• George Fleury (@gfleury)

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.