Can't comment on github issue.

classic Classic list List threaded Threaded
6 messages Options
Reply | Threaded
Open this post in threaded view
|

Can't comment on github issue.

nophead
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.png
 
Anybody know why? Have I been blocked?

_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
Reply | Threaded
Open this post in threaded view
|

Re: Can't comment on github issue.

oystein.krog
Github is having trouble.

On Mon, Oct 22, 2018 at 10:19 AM nop head <[hidden email]> 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.png
 
Anybody know why? Have I been blocked?
_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org

_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
Reply | Threaded
Open this post in threaded view
|

Re: Can't comment on github issue.

nophead
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 <[hidden email]> wrote:
Github is having trouble.

On Mon, Oct 22, 2018 at 10:19 AM nop head <[hidden email]> 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.png
 
Anybody know why? Have I been blocked?
_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org

_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
Reply | Threaded
Open this post in threaded view
|

Re: Can't comment on github issue.

nophead
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 <[hidden email]> 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 <[hidden email]> wrote:
Github is having trouble.

On Mon, Oct 22, 2018 at 10:19 AM nop head <[hidden email]> 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.png
 
Anybody know why? Have I been blocked?
_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org

_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
Reply | Threaded
Open this post in threaded view
|

Re: Can't comment on github issue.

kintel
Administrator
> On Oct 22, 2018, at 8:32 AM, nop head <[hidden email]> 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
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org
Reply | Threaded
Open this post in threaded view
|

Re: Can't comment on github issue.

nophead

On Mon, 22 Oct 2018 at 14:27, Marius Kintel <[hidden email]> wrote:
> On Oct 22, 2018, at 8:32 AM, nop head <[hidden email]> 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
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org

_______________________________________________
OpenSCAD mailing list
[hidden email]
http://lists.openscad.org/mailman/listinfo/discuss_lists.openscad.org