On Friday, May 8, 2020 at 10:56:25 AM UTC-4, Edward K. Ream wrote: > > > > On Fri, May 8, 2020 at 8:49 AM Thomas Passin <tbp1...@gmail.com > <javascript:>> 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. >
That's what I'll try next. -- 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/1845da2d-cf82-4c4c-bdf2-1bbb7c0d372a%40googlegroups.com.