Agree to have them protected. Currently, seems these branches are not protected, at least master branch is not. The merge button is still available even "Jenkins: Maven clean install — Build finished." in some of PRs <https://github.com/apache/bookkeeper/pulls> We may first need to make the test stable.
On Tue, Jul 4, 2017 at 5:10 AM, Enrico Olivelli <eolive...@gmail.com> wrote: > Hi, > I don't know current configuration but I would like to ensure that our > release branches, that is master and branch-xx are 'protected'. > I mean at least that 'force push' must be forbidden to everyone. > > In github it is simple to enable such protection, see > https://help.github.com/articles/about-protected-branches/ > > I don't want to try btyy performing a force push. Maybe we can ask infra > about current configuration > > Thoughts? > > Enrico > -- > > > -- Enrico Olivelli >