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!
- notriddle added an autocorrect option for
- galbash fixed
required_approvalsto require up-to-date approvals
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.