On Thu, May 30, 2013 at 5:34 PM, John Clements <cleme...@brinckerhoff.org> wrote: > > On May 30, 2013, at 1:47 PM, Sam Tobin-Hochstadt wrote: > >> After a long hiatus, I'm again working on migrating our bug database >> to GitHub issues. My plan is to convert a large portion of the old >> bugs (more than 5 years old, up to 9433) in the near future, and in >> particular all of the bugs filed before the bug DB moved to >> Northeastern (up to ~2100) very soon. >> >> To do this, I need GitHub authorization keys from people who used the >> bug DB then, so that I can post bugs and comments as you to GitHub. To >> provide them, please visit this page: >> http://samth2.ccs.neu.edu:8080/github-auth/ and follow the >> instructions. > > It looks like this server is not currently accepting connections on port > 8080….
Sorry about that, it's now fixed. Sam _________________________ Racket Developers list: http://lists.racket-lang.org/dev
