Simplify /bin/ssh.
Document how to use git deployment on heroku.