git clone ssh://git@mydomain.example:[port]/gitolite-admin
Note that the port number should be there without the square brackets: []
git clone ssh://git@mydomain.example:[port]/gitolite-admin
Note that the port number should be there without the square brackets: []