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.