[plt-dev] Re: Revised git intro text

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!