getUnixName() . "/' /etc/savane/cgitrepos", $output); $n = intval((count ($output) + 1) / 5); if ($n > 0) { echo "
Note: this group has multiple Git repositories.
"; $main_desc = exec ("grep -A 2 '^repo\.url=" . $project->getUnixName() . "\.git' /etc/savane/cgitrepos"); $main_desc = preg_replace(':repo.desc=:', '', $main_desc) . "\n"; } ?>0) echo $main_desc; echo 'git clone https://git.' . $project->getTypeBaseHost() . preg_replace(':/srv/git:', '', $project->getTypeDir('git')). "\n"; for ($i = 0; $i < $n; $i++) { $url[$i] = preg_replace(':repo.url=:', '', $output[$i * 5]); $repo[$i] = preg_replace(':repo.path=:', '', $output[$i * 5 + 1]); $desc[$i] = preg_replace(':repo.desc=:', '', $output[$i * 5 + 2]); } for ($i = 0; $i < $n; $i++) { echo "\n" . $desc[$i] . "\n"; echo "git clone https://git." . $project->getTypeBaseHost() . "/" . $url[$i] . "\n"; } ?>
membername>'; } if ($n > 0) echo $main_desc; echo "git clone " . $username . "@git.sv.gnu.org:" . $project->getTypeDir('git') . "\n"; for ($i = 0; $i < $n; $i++) { echo "\n" . $desc[$i] . "\n"; echo "git clone " . $username . "@git.sv.gnu.org:" . $repo[$i] . "\n"; } ?>