It’s another monthly burst of news about bors-ng, the evergreen master for regular GitHub-users.

In the last month, we landed 6 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 added an autocorrect option for bors + and bors -
  • galbash fixed required_approvals to require up-to-date approvals

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 the Lean 3 community fork.

The Lean theorem prover is a proof assistant, a software tool to generate and verify mathematic proofs. The lean community maintains an implementation of the Lean notation and semantics, as well as a library of common mathematic concepts that users can employ.

Got any suggestions for next month? Post a comment on the August pull request.