They better not be. They are often pushed directly to master, but that's different from force pushing (i.e., pushing a non-fast forward commit). As far as I can tell, this won't disable directly pushing without a pull request.
Aaron Meurer On Fri, Sep 4, 2015 at 2:01 PM, Jason Moore <moorepa...@gmail.com> wrote: > I'm pretty sure that most "new author" commits are force pushed to master > and when they aren't, i.e. use a PR, there is high likelihood of merge > conflicts when there are other new authors. If we protect master, we'll have > to deal with this. > > > Jason > moorepants.info > +01 530-601-9791 > > On Fri, Sep 4, 2015 at 11:10 AM, Sartaj Singh <singhsarta...@gmail.com> > wrote: >> >> > Cool, I vote for protecting our master branch. >> +1 >> >> On 4 September 2015 at 23:31, Harsh Gupta <gupta.hars...@gmail.com> wrote: >>> >>> Cool, I vote for protecting our master branch. >>> >>> On 4 September 2015 at 21:29, Aaron Meurer <asmeu...@gmail.com> wrote: >>> > >>> > https://github.com/blog/2051-protected-branches-and-required-status-checks >>> > >>> > -- >>> > You received this message because you are subscribed to the Google >>> > Groups "sympy" group. >>> > To unsubscribe from this group and stop receiving emails from it, send >>> > an email to sympy+unsubscr...@googlegroups.com. >>> > To post to this group, send email to sympy@googlegroups.com. >>> > Visit this group at http://groups.google.com/group/sympy. >>> > To view this discussion on the web visit >>> > https://groups.google.com/d/msgid/sympy/CAKgW%3D6%2BxB%2BNydQFPMEjCeGoJgMw1LS8f%3Dbsdg42hU3sBHepJZg%40mail.gmail.com. >>> > For more options, visit https://groups.google.com/d/optout. >>> >>> >>> >>> -- >>> Harsh >>> >>> -- >>> You received this message because you are subscribed to the Google Groups >>> "sympy" group. >>> To unsubscribe from this group and stop receiving emails from it, send an >>> email to sympy+unsubscr...@googlegroups.com. >>> To post to this group, send email to sympy@googlegroups.com. >>> Visit this group at http://groups.google.com/group/sympy. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/sympy/CADN8iupXKCS0vXC1oKopdLhTJUb1Aa%3DX_CsRhsWqfxBuNoHiQA%40mail.gmail.com. >>> For more options, visit https://groups.google.com/d/optout. >> >> >> >> >> -- >> Regards >> Sartaj Singh >> >> Mathematics and Computing, >> Indian Institute of Technology, >> Varanasi - 221 005 INDIA >> >> E-mail: singhsarta...@gmail.com, sartaj.singh.ap...@itbhu.ac.in >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sympy" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sympy+unsubscr...@googlegroups.com. >> To post to this group, send email to sympy@googlegroups.com. >> Visit this group at http://groups.google.com/group/sympy. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sympy/CAC%2BH8-ErAeeQw6RY99YEcZHFxJ%2BrgBDiso9t-4uNX8iOENeFKA%40mail.gmail.com. >> >> For more options, visit https://groups.google.com/d/optout. > > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/CAP7f1AhgrJ2O6im8hHhaeopqYi%2BD7CoYhL%3DaeovZBrHZ%2B9_7Yg%40mail.gmail.com. > > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6%2BxFL%3DfBjN1G5u7PdotOmx0TpBqsBs2-nBJbfV3Bsr6og%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.