On Fri, May 8, 2020 at 8:49 AM Thomas Passin <tbp100...@gmail.com> wrote:
After cruising through some of the settings for repo on Github, I see that > there is a branch protection rule on the devel branch. It requires CI as a > status check before merging. I don't know how to work with that in terms > of pushing and merging my own code to devel. > I haven't encountered any problems pushing directly to devel. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0ptg-Di8DR39v06iPts-p%3DoF99G0U0Wp7s2UR9bNjxEw%40mail.gmail.com.