On Apr 10, 2014, at 2:46 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote:

> You do that yourself, in your github settings.  The admin for `racket`
> doesn't know anything about anyones keys.

Well, I already did that. I should have realized that the tree links to users, 
rather than linking directly to ssh keys. My bad.

Thanks!

John


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

Reply via email to