Re: [racket-users] bugs.racket-lang.org down?

45 views
Skip to first unread message

John Clements

unread,
Jul 9, 2019, 4:06:59 AM7/9/19
to Sam Tobin-Hochstadt, Stephen Chang, Racket Developers
(migrated to dev list)

I’m guessing this hasn’t gotten to the top of anyone’s to-do list, yet… ?

John

> On May 8, 2019, at 20:53, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote:
>
> bugs.racket-lang.org was hosted on a server at Northeastern, which
> died recently (this resulted in a number of other problems as well).
> While we will bring back that data, I would encourage you to submit
> bugs at https://github.com/racket/racket/issues/new.
>
> Sam
>
> On Wed, May 8, 2019 at 2:51 PM Jordan Johnson <j...@fellowhuman.com> wrote:
>>
>> Hi all,
>>
>> I’m unsuccessful in connecting to bugs.racket-lang.org, and downforeveryoneorjustme.com also reports it being down. Is the web server there not running for some reason?
>>
>> Best,
>> Jordan
>>
>> --
>> You received this message because you are subscribed to the Google Groups "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an email to racket-users...@googlegroups.com.
>> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/ED6E726A-3884-4E9E-8902-525B0EE8335E%40fellowhuman.com.
>> For more options, visit https://groups.google.com/d/optout.
>
> --
> You received this message because you are subscribed to the Google Groups "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to racket-users...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BaGBHd8T86T0VDSoO%3DceHj3SWqpaktdauafm9%3D-WyGFPQ%40mail.gmail.com.
> For more options, visit https://groups.google.com/d/optout.



Paulo Matos

unread,
Jul 9, 2019, 4:08:39 AM7/9/19
to racke...@googlegroups.com
In reply to Sams encouragement: "I would encourage you to submit bugs at
https://github.com/racket/racket/issues/new"

Shouldn't all bugs be submitted to
https://github.com/racket/racket/issues/new anyhow?

John Clements

unread,
Jul 9, 2019, 10:57:53 AM7/9/19
to Paulo Matos, racke...@googlegroups.com
Absolutely; I was hoping to extract information associated with very *old* bugs.

John
> You received this message because you are subscribed to the Google Groups "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+...@googlegroups.com.
> To post to this group, send email to racke...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/3d655839-3397-9918-6306-f06d53926b7c%40linki.tools.

Sorawee Porncharoenwase

unread,
Jul 27, 2019, 4:52:59 PM7/27/19
to John Clements, Paulo Matos, racke...@googlegroups.com
Relatedly: you might want to update the message here: https://github.com/racket/string-constants/blob/master/string-constants-lib/string-constants/private/english-string-constants.rkt#L180

If your internet connection is otherwise working fine, please visit:\n\n http://bugs.racket-lang.org/...

Reply all
Reply to author
Forward
0 new messages