[MariaDB developers] Re: Can we get MariaDB GitHub CI to consistently be green?

On Thu, 8 Aug 2024 at 04:54, Andrew Hutchings via developers <developers@lists.mariadb.org> wrote:

I completely agree, the end goal is definitely worth it.

It will be a little difficult, because, as Marko points out, not everyone uses PRs. So, unless everyone uses the same methodology, with which the CI has voting rights for every commit (as with most other large open source projects), it will always be a tail to chase.

Using protected branches in GitHub is a feature of the git receive hook. It does *not require using Pull Requests*. It just requires that a commit has been in GitHub on any branch and passed CI before it the receive-hook accepts it being pushed to the main branch.