Protected branches: master and develop

Subject: Protected branches: master and develop
From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2018-06-25 16:16:55

Hi,

I have taken the liberty enable branch protection on GitHub:

* Disabled force-push to master and develop (for everyone)
* Restricted push to develop for boostorg/gil-developers team (3 members)
* Restricted push to master for stefanseefeld exclusively

This should help us to monitor the state of the two main branches
and strictly prevent any accidental breakage in the master.

Best regards,
-- 
Mateusz Loskot, http://mateusz.loskot.net