[racket-dev] Continuing to work on GitHub bug migration

On Thu, May 30, 2013 at 5:34 PM, John Clements
<clements at 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