webinterface.git

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
<?php
require_role(ROLE_SYSTEMUSER);
include("git.php");
$section = 'git_git';
title("GIT-Konfiguration aktualisieren");
output('<p>Bitte warten Sie während die GIT-Konfiguration neu eingelesen wird...</p>');
refresh_gitolite();
if (!$debugmode) {
  header("Location: git");
}
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX