Document the Git/SSH interface