"When the Gitolite server receives that push, one of the things it does is add this key to ~/.ssh/authorized_keys file, but prefixed with a bunch of options, one of which is a command option that looks like this:" . . . .