master branch is not protected

[iprafols]

I think we should protect master branch against accidental pushes

[andreufont]

More generally, we need a better maintenance of the code... we can discuss it tomorrow.