Discussion:
[OpenSCAD] Can't comment on github issue.
nop head
2018-10-22 08:17:33 UTC
Permalink
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?
Øystein E. Krog
2018-10-22 08:22:04 UTC
Permalink
Github is having trouble.
See status.github.com :)
Post by nop head
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?
[image: image.png]
Anybody know why? Have I been blocked?
_______________________________________________
OpenSCAD mailing list
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
nop head
2018-10-22 11:46:54 UTC
Permalink
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.
Post by Øystein E. Krog
Github is having trouble.
See status.github.com :)
Post by nop head
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?
[image: image.png]
Anybody know why? Have I been blocked?
_______________________________________________
OpenSCAD mailing list
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
_______________________________________________
OpenSCAD mailing list
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
nop head
2018-10-22 12:32:08 UTC
Permalink
The update page seems to think 12:56 GMT was half an hour ago but it hasn't
happened yet!
Post by nop head
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.
Post by Øystein E. Krog
Github is having trouble.
See status.github.com :)
Post by nop head
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?
[image: image.png]
Anybody know why? Have I been blocked?
_______________________________________________
OpenSCAD mailing list
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
_______________________________________________
OpenSCAD mailing list
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
Marius Kintel
2018-10-22 13:26:39 UTC
Permalink
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
nop head
2018-10-22 15:26:14 UTC
Permalink
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
Post by nop head
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
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
Loading...