Re: [racket-dev] new github key

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

Re: [racket-dev] new github key

2014-04-10 Thread Sam Tobin-Hochstadt
You do that yourself, in your github settings. The admin for `racket` doesn't know anything about anyones keys. Sam On Thu, Apr 10, 2014 at 1:33 PM, John Clements wrote: > I’m probably being paranoid and/or avoiding real work, but I’ve made up a new > ssh key for github. Who’s the boss of our