In 2013 i moved all my repos into a #gitolite3 - In total over the years there were 290 repositories. 2 years ago i started to moved them into a gitlab (which took all new repos anyway) - Now i am done. The last repository in gitolite3 is the admin repository.

Now this can be decomissioned and i have one less server to run and move to a new machine.