By making the master branch protected in GitHub and making the CI check for Trav...

		curryhoward on Nov 26, 2017 \| parent \| context \| favorite \| on: My unusual hobby By making the master branch protected in GitHub and making the CI check for Travis required. Docs: https://help.github.com/articles/enabling-required-status-ch...