bugs.racket-lang.org down?

[Jordan Johnson]

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

[Sam Tobin-Hochstadt]

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

> --
> 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.

[Jordan Johnson]

On 8 May 2019, at 11: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.

Since you say “bring back that data”, I wonder: should the “Submit Bug Report” menu item in DrRacket now launch that URL you’ve given rather than bring up the little DrRacket bug report window?

Best,

Jordan

[Sam Tobin-Hochstadt]

Robby just implemented that last week, actually.

Sam

> --
> 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/6FB4B2C1-41A0-4EAB-ABAE-E67B606BA0D4%40fellowhuman.com.