[plt-dev] Re: Revised git intro text

From: Eli Barzilay (eli at barzilay.org)
Date: Fri May 7 11:34:56 EDT 2010

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!

Posted on the dev mailing list.