Merge branch 'task-1726-gitssh-extensions' into 'master'

Task 1726 gitssh extensions

See merge request !64

hooks/templates/inc_projects_config.php.erb

@@ -110,6 +110,7 @@ switch (php_uname("n")) {
         break;
 
     case "ci.iml.unibe.ch":
+    case "ci":
 
         // synch der Pakete nur auf dem Livesystem
         $aConfig['mirrorPackages'] = array(