Repositories: add a 'group' property (default|gitea)

repo.php

@@ -26,6 +26,7 @@ if (!isset($_REQUEST['repo'])) {
       if (isset($repoData['categoryUrl'])) {
 	$info['categoryUrl'] = $repoData['categoryUrl'];
       }
+      $info['group'] = $repoData['group'] ?? 'default';
 
       print json_encode($info, JSON_UNESCAPED_UNICODE|JSON_UNESCAPED_SLASHES|JSON_FORCE_OBJECT);
     }

src/repositoriesGitea.php

@@ -14,6 +14,7 @@ register_hook("get-repositories", function ($result) {
             $r = array(
               'path' => "{$repositoriesGitea['path']}/{$f1}/{$f2}",
               'type' => 'git',
+              'group' => 'gitea',
             );
 
             if (array_key_exists('url', $repositoriesGitea)) {