On 14 September 2017 at 02:04, Mateusz Loskot <mate...@loskot.net> wrote: > Hi, > > I have enabled branch protecting [1] for the master. > Apart from the basic protection settings, I enabled > * Require status checks to pass before merging pull request > > If you notice anything is not working well, please let me know. > > [1] https://help.github.com/articles/about-protected-branches/
If status checks (CI builds) fail for PR, but you are certain it is OK to merge, then it is still possible but only for the repo Administrators. The merge button will display: "As an administrator, you may still merge this pull request." Best regards, -- Mateusz Loskot, http://mateusz.loskot.net ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ soci-devel mailing list soci-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/soci-devel
