It’s another monthly burst of news about bors-ng, a bot for making sure the repository doesn’t break.

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

danielkza implemented the backend support for syncing the reviewers list with GitHub’s admin list

kimsaehun put in a validity check for patches that are connected to more than one running batch

grahamc added a mix task to clean out very old build history

notriddle pulled out the GitHub API URLs, which should allow bors to be used with GitHub Enterprise

notriddle made bors ignore pull requests where the source repository has gone away

grahamc implemented a pre-check for GitHub Reviews; you can now set up bors-ng to require a certain number of in-project approvals before a pull request will run

couchand added configuration options to customize the header and footer of the dashboard

New Contributors

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 Ubuntu’s Mir display server, a replacement for the twenty-year-old and incredibly crufty X Window System that Linux has been using. The goals of the whole effort can be summarized as:

Get a fluid UI like users are used to on other platforms (f’n’f).

Run less code as root, and prevent apps from impersonating the shell (secure).

Work in constrained environments, and on things like 4K screens (portable).

Become a drop-in Wayland compositor for Desktop Environments to use (standard).

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