I have just protected the devel branch

[Edward K. Ream]

This should have been done long ago!  Here is the settings page for Leo's branches.

The following restrictions apply to both master and devel:

- Disables force-pushes to the branches and prevents them from being deleted.

- Require status checks (TravisCI) to pass before merging.

Imo, there is no need for the other restrictions at present.

Let me know if these cause any problems for you.

Edward

[Matt Wilkie]

Good idea. I didn't know that was possible. Going to do the same on some of my own.

-matt