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.