Some master branches are not protected

For example see https://gitlab.idiap.ch/bob/bob.bio.base/settings/repository

As a result, some code is pushed into master by mistake. I will rebase and force push bob.bio.base's master branch.