I am trying to add the following to https://github.com/openscad/openscad/pull/2524 Can I suggest isUndef is added before this is merged as I can't live with > half a million warnings in all my projects. It takes a long time to spit > them out. I thought repeated identical warnings where supposed to be > suppressed? > But I get this: [image: image.png] Anybody know why? Have I been blocked?

Github is having trouble. See status.github.com :) On Mon, Oct 22, 2018 at 10:19 AM nop head <nop.head@gmail.com> wrote: > I am trying to add the following to > https://github.com/openscad/openscad/pull/2524 > > Can I suggest isUndef is added before this is merged as I can't live with >> half a million warnings in all my projects. It takes a long time to spit >> them out. I thought repeated identical warnings where supposed to be >> suppressed? >> > > But I get this: > > [image: image.png] > > Anybody know why? Have I been blocked? > _______________________________________________ > OpenSCAD mailing list > Discuss@lists.openscad.org > http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org >

Very confusing. It still seems to be broken but I have posted a comment and sometimes it appears to be there multiple time and sometimes it doesn't. On Mon, 22 Oct 2018 at 09:23, Øystein E. Krog <oystein.krog@gmail.com> wrote: > Github is having trouble. > See status.github.com :) > > On Mon, Oct 22, 2018 at 10:19 AM nop head <nop.head@gmail.com> wrote: > >> I am trying to add the following to >> https://github.com/openscad/openscad/pull/2524 >> >> Can I suggest isUndef is added before this is merged as I can't live with >>> half a million warnings in all my projects. It takes a long time to spit >>> them out. I thought repeated identical warnings where supposed to be >>> suppressed? >>> >> >> But I get this: >> >> [image: image.png] >> >> Anybody know why? Have I been blocked? >> _______________________________________________ >> OpenSCAD mailing list >> Discuss@lists.openscad.org >> http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org >> > _______________________________________________ > OpenSCAD mailing list > Discuss@lists.openscad.org > http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org >

The update page seems to think 12:56 GMT was half an hour ago but it hasn't happened yet! On Mon, 22 Oct 2018 at 12:46, nop head <nop.head@gmail.com> wrote: > Very confusing. It still seems to be broken but I have posted a comment > and sometimes it appears to be there multiple time and sometimes it doesn't. > > > > On Mon, 22 Oct 2018 at 09:23, Øystein E. Krog <oystein.krog@gmail.com> > wrote: > >> Github is having trouble. >> See status.github.com :) >> >> On Mon, Oct 22, 2018 at 10:19 AM nop head <nop.head@gmail.com> wrote: >> >>> I am trying to add the following to >>> https://github.com/openscad/openscad/pull/2524 >>> >>> Can I suggest isUndef is added before this is merged as I can't live >>>> with half a million warnings in all my projects. It takes a long time to >>>> spit them out. I thought repeated identical warnings where supposed to be >>>> suppressed? >>>> >>> >>> But I get this: >>> >>> [image: image.png] >>> >>> Anybody know why? Have I been blocked? >>> _______________________________________________ >>> OpenSCAD mailing list >>> Discuss@lists.openscad.org >>> http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org >>> >> _______________________________________________ >> OpenSCAD mailing list >> Discuss@lists.openscad.org >> http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org >> >

> On Oct 22, 2018, at 8:32 AM, nop head <nop.head@gmail.com> wrote: > > The update page seems to think 12:56 GMT was half an hour ago but it hasn't happened yet! > Yup, the breakage is odd; I got the same webhook ~10 times in a row yesterday, but updates to the same issue wasn’t accessible on the website. I guess we just have to wait : / -Marius

My comments seem to have finally stuck https://github.com/openscad/openscad/pull/2524#issuecomment-431818214 https://github.com/openscad/openscad/pull/2520#issuecomment-431810962 On Mon, 22 Oct 2018 at 14:27, Marius Kintel <marius@kintel.net> wrote: > > On Oct 22, 2018, at 8:32 AM, nop head <nop.head@gmail.com> wrote: > > > > The update page seems to think 12:56 GMT was half an hour ago but it > hasn't happened yet! > > > Yup, the breakage is odd; I got the same webhook ~10 times in a row > yesterday, but updates to the same issue wasn’t accessible on the website. > I guess we just have to wait : / > > -Marius > > > _______________________________________________ > OpenSCAD mailing list > Discuss@lists.openscad.org > http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org >