It’s another monthly burst of news about bors-ng, a push button commit gating merge bot for GitHub.

In the last month, we landed 3 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 a way to give permission to “bors try” without also granting permission to “bors r+
  • notriddle improved the navbar at the top of the screen

New Contributors

No new contributors this month. 😢

Want to see your name in this newsletter? Look at bors starters, a curated list of issues that are good for new contributors!

Who’s using bors?

This month’s featured user is Ammonia:

Ammonia is a whitelist-based HTML sanitization library. It is designed to prevent cross-site scripting, layout breaking, and clickjacking caused by untrusted user-provided HTML being mixed into a larger web page.

Ammonia is written in Rust, and it uses html5ever to parse and serialize document fragments, so it’s parser is well-tested, spec-compliant, and Safe™. It’s also being used by public-facing websites like

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