One stupid typo, in case anyone else ran into that -- in the part that
talks about using a specific key for git, the ssh config should be:
Host pltgit
HostName git.racket-lang.org
User git
IdentityFile ~/.ssh/my-plt-git-identity-file
(The typo was that it listed "User pltgit".)
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
