Support for gitolite mirroring in ssh config