[racket-dev] new github key

From: John Clements (clements at brinckerhoff.org)
Date: Thu Apr 10 18:04:49 EDT 2014

On Apr 10, 2014, at 2:46 PM, Sam Tobin-Hochstadt <samth at 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.



Posted on the dev mailing list.