GitHub reached out to me again, that they fixed it. Indeed, it seems to be fixed, so I have enabled the "require review", even for administrators. Now if you want to merge a PR, just click on "review" and click "approve". Then it will be allowed to merge.
On Thu, Sep 15, 2016 at 7:40 PM, Ondřej Čertík <[email protected]> wrote: > GitHub got back to me, they said it's a bug, that they have an issue > open for it internally. So after they fix it, I think this will do > exactly what we need --- we'll enable the "require approval" check > box, and then it will fail the status if the PR is reviewed and > require more work (i.e. not approved). Then we can filter PRs by the > status to see PRs that are either not reviewed, or the author pushed > more commits after the review. > > One problem that I can still see is that sometimes a discussion is > resolved by commenting, that a further commit is not needed. I don't > know how that fits into this workflow. > > But I think this is the way to go overall, it should be an improvement > and we'll have to figure out the details. > > Ondrej > > On Thu, Sep 15, 2016 at 6:34 PM, Aaron Meurer <[email protected]> wrote: >> Maybe it means someone other than the merger has to review it. >> >> Aaron Meurer >> >> >> On Thursday, September 15, 2016, Ondřej Čertík <[email protected]> >> wrote: >>> >>> On Thu, Sep 15, 2016 at 6:30 PM, Ondřej Čertík <[email protected]> >>> wrote: >>> > I went there: >>> > >>> > https://github.com/sympy/sympy/settings/branches/master >>> > >>> > and checked "Require pull request reviews before merging" (including >>> > administrators), then reviewed & approved this PR: >>> > >>> > >>> > https://github.com/sympy/sympy/pull/11601 >>> > >>> > But it says "Required statuses must pass before merging". But all >>> > statues pass! Then I unchecked "Require pull request reviews before >>> > merging", and now it can be merged... I think it's a bug at GitHub... >>> >>> So I reported it to GitHub Support. >>> >>> Ondrej >>> >>> > >>> > >>> > Ondrej >>> > >>> > On Wed, Sep 14, 2016 at 7:41 PM, Aaron Meurer <[email protected]> >>> > wrote: >>> >> I can't tell. Like I said, the UI is pretty confusing. We'll have to >>> >> play >>> >> around with it. >>> >> >>> >> Aaron Meurer >>> >> >>> >> On Wed, Sep 14, 2016 at 9:31 PM, Ondřej Čertík >>> >> <[email protected]> >>> >> wrote: >>> >>> >>> >>> I was just about to post here: >>> >>> >>> >>> >>> >>> >>> >>> https://github.com/blog/2256-a-whole-new-github-universe-announcing-new-tools-forums-and-features >>> >>> >>> >>> Will this make it obvious when a PR is waiting for the author to do >>> >>> more work, and can the author "flip a switch" and we can quickly see >>> >>> that the work got done? >>> >>> >>> >>> Ondrej >>> >>> >>> >>> On Wed, Sep 14, 2016 at 12:19 PM, Aaron Meurer <[email protected]> >>> >>> wrote: >>> >>> > So it looks like GitHub has added direct support for this. The UI so >>> >>> > far >>> >>> > is >>> >>> > a little confusing. Hopefully they will improve that. >>> >>> > >>> >>> > Aaron Meurer >>> >>> > >>> >>> > On Thu, Sep 8, 2016 at 3:59 PM, Jason Moore <[email protected]> >>> >>> > wrote: >>> >>> >> >>> >>> >> I agree that closing is not a good idea. >>> >>> >> >>> >>> >> >>> >>> >> Jason >>> >>> >> moorepants.info >>> >>> >> +01 530-601-9791 >>> >>> >> >>> >>> >> On Thu, Sep 8, 2016 at 12:15 PM, Ondřej Čertík >>> >>> >> <[email protected]> >>> >>> >> wrote: >>> >>> >>> >>> >>> >>> On Thu, Sep 8, 2016 at 12:09 PM, Aaron Meurer <[email protected]> >>> >>> >>> wrote: >>> >>> >>> > I'm not a fan of that. Closing gives people the impression that >>> >>> >>> > the >>> >>> >>> > pull >>> >>> >>> > request is being rejected. >>> >>> >>> >>> >>> >>> I know. GitHub should improve this workflow a lot. >>> >>> >>> >>> >>> >>> Ondrej >>> >>> >>> >>> >>> >>> -- >>> >>> >>> 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 [email protected]. >>> >>> >>> To post to this group, send email to [email protected]. >>> >>> >>> Visit this group at https://groups.google.com/group/sympy. >>> >>> >>> To view this discussion on the web visit >>> >>> >>> >>> >>> >>> >>> >>> >>> https://groups.google.com/d/msgid/sympy/CADDwiVBecdOpF%3D3qqgooaiZwepf_%2Baur7kiC-Ufu25p_6upyHQ%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 [email protected]. >>> >>> >> To post to this group, send email to [email protected]. >>> >>> >> Visit this group at https://groups.google.com/group/sympy. >>> >>> >> To view this discussion on the web visit >>> >>> >> >>> >>> >> >>> >>> >> https://groups.google.com/d/msgid/sympy/CAP7f1Agjqo08YJiLcu19-xmW9okttHOn9rm2gth-rF1Y772XJA%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 [email protected]. >>> >>> > To post to this group, send email to [email protected]. >>> >>> > Visit this group at https://groups.google.com/group/sympy. >>> >>> > To view this discussion on the web visit >>> >>> > >>> >>> > >>> >>> > https://groups.google.com/d/msgid/sympy/CAKgW%3D6L%2BQ8Js%2BAANRSL7ebqKtAujzdYyq03eQr76JeBqdwYDew%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 [email protected]. >>> >>> To post to this group, send email to [email protected]. >>> >>> Visit this group at https://groups.google.com/group/sympy. >>> >>> To view this discussion on the web visit >>> >>> >>> >>> https://groups.google.com/d/msgid/sympy/CADDwiVA_tKqLrRfxHNgGQ6rVSQqGi4pA%3DVHJNNcUcdO25rpY9A%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 [email protected]. >>> >> To post to this group, send email to [email protected]. >>> >> Visit this group at https://groups.google.com/group/sympy. >>> >> To view this discussion on the web visit >>> >> >>> >> https://groups.google.com/d/msgid/sympy/CAKgW%3D6JghYv4nA3fN8WPqRM5Qd4PjVxD3EK-DKLL2DXx_3KdYw%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 [email protected]. >>> To post to this group, send email to [email protected]. >>> Visit this group at https://groups.google.com/group/sympy. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/sympy/CADDwiVCVx8cAPWDk70swbYf%3DDWkbx%3D9%3DSYUf%3Dx0pdDmXyxeHHA%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 [email protected]. >> To post to this group, send email to [email protected]. >> Visit this group at https://groups.google.com/group/sympy. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sympy/CAKgW%3D6%2BXuQnVWt-y0g-dgmXt%3DQhziWS%3DX8r5uKnrWF2OOuC1Kg%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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CADDwiVD8jWxuoOUcjWg2Qfjk%3DQC8w-27RgyBLgQDNHEKxHFfeg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
