adding .ssh/config github example