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

2013-05-30 Thread Sam Tobin-Hochstadt
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.

This applies for anyone who's used the bug DB ever, although I won't
be migrating the newer bugs immediately.

The people who are most needed for my immediate plans have been
explicitly cc'ed on this message. If you're one of them and for
whatever reason, you don't want to do this, please just let me know
off-list.

Thanks!
Sam
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


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

2013-05-30 Thread John Clements

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

clements@li21-127:~$ curl -v http://samth2.ccs.neu.edu:8080/github-auth/
* About to connect() to samth2.ccs.neu.edu port 8080 (#0)
*   Trying 129.10.115.151... Connection refused
* couldn't connect to host
* Closing connection #0
curl: (7) couldn't connect to host
clements@li21-127:~$ 



 
 This applies for anyone who's used the bug DB ever, although I won't
 be migrating the newer bugs immediately.
 
 The people who are most needed for my immediate plans have been
 explicitly cc'ed on this message. If you're one of them and for
 whatever reason, you don't want to do this, please just let me know
 off-list.
 
 Thanks!
 Sam
 _
  Racket Developers list:
  http://lists.racket-lang.org/dev


_
  Racket Developers list:
  http://lists.racket-lang.org/dev


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

2013-05-30 Thread Sam Tobin-Hochstadt
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