I have the following use case: I would like to be able to push to git@git.company.com:gitolite-admin