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. _______________________________________________ developers mailing list -- developers@lists.mariadb.org To unsubscribe send an email to developers-le...@lists.mariadb.org
