Hi devs,<br><br>I found nothing on the documentation pages regarding Autoproj.gitorious_server_configuration... either it is missing, or it is very well hidden! ;)<br><br>Charles.<br>