[C] Infrastructure
This is a collective ticket for all infrastructure related issues. Please specify this ticket as parent for your specific tickets if they relate to this category.
This includes
- website issues
- server issues
- automation topics
- repository related issues
- administrative issues
- ...
(from redmine: created on 2011-09-21)