Thanks Dima! There is now an "Update branch" button at the bottom of each PR, which you can press if you're the originator of the PR and it will merge in develop. David
On Tue, Feb 7, 2023 at 8:18 PM Dima Pasechnik <dimp...@gmail.com> wrote: > done > > On Tue, Feb 7, 2023 at 6:54 PM John Cremona <john.crem...@gmail.com> > wrote: > > > > Strong yes from me. > > > > #34987 concerns a 3-line doctest where only the first has a #long time > tag thought the other lines depend on the first having been run, so causes > a failure when tested without --long. The fix adds two # long time tags > > #34964 trims some whitespace and changes "" to r""" in a few necessary > places. > > > > On Tue, 7 Feb 2023 at 18:18, David Roe <roed.m...@gmail.com> wrote: > >> > >> Hi all, > >> Currently, almost all of the PRs on github aren't passing CI, and thus > have red Xs. The problem can be resolved by merging #34964 and #34987. > Several of us at Sage Days 117 propose to merge these two PRs into the > develop branch on Github tonight, to help improve the reviewing process for > everyone here, as well as for people who are getting used to the new Github > workflow. We don't anticipate this becoming a regular occurrence (it's > mainly a consequence of the slightly different testing process on trac and > github). > >> > >> If we hear no objections, we'll proceed in an hour and a half (8:45pm > CET, 2:45pm EST, 11:45am PST). > >> David > >> > >> -- > >> You received this message because you are subscribed to the Google > Groups "sage-devel" group. > >> To unsubscribe from this group and stop receiving emails from it, send > an email to sage-devel+unsubscr...@googlegroups.com. > >> To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAChs6_mnuBi-qd%3Da0%3DqAGt8Xp6SohQzWdtw%2B04t82MPq68ntPw%40mail.gmail.com > . > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-devel+unsubscr...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAD0p0K5c%2BOYxf8EAJ5bAA6cJUuzoMtpqwDCOHuKcEd1zjNfMrA%40mail.gmail.com > . > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAAWYfq3hp_TRB9ALs__jutcP_us3TA%3DGUxthMS%3DNYGN1KzNkPw%40mail.gmail.com > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAChs6_n392HmzN_7rnfeU_3%3DZLgC444LmGc7vQKAuseJq9POmg%40mail.gmail.com.
