Closed DilumAluthge closed 4 years ago
Ok, done. Just to confirm, do we really want bots like CompatHelper and TagBot to be unchecked?
Ok, done. Just to confirm, do we really want bots like CompatHelper and TagBot to be unchecked?
Yeah it seems counterintuitive, right? The problem is that those bots on run on cron jobs. They never actually run on pull requests, meaning that they never report statuses on pull requests. So if you check the box for one of those bots, you'll never be able to merge any PRs, because the bot will never report a status on any PR. (They always report their status on the master branch only.)
Now that we use GitHub Actions for CI (instead of Travis CI), we need to update the branch protection settings for the
master
branch:master
, click on theEdit
buttoncc: @cscherrer