Gitblit
Our Gitblit installation is at https://git.wikimedia.org/ and is ^demon's burden.
Hardware
Operations
Restarting
The init script is /etc/init.d/gitblit. Puppet should ensure gitblit is running.
Delete a repo
- Remove the directory from /var/lib/git/*