4 ms·

Thanks, it appears to serve the same function as gitolite, which I use in my setup and somehow forgot to mention. The SSH interface seems unnecessary though.