mirror of
https://github.com/jhd3197/ServerKit.git
synced 2026-10-29 16:17:25 +09:00
Juan Denis
3c4a2c0c96
Promote the serverkit-git extension to own the canonical /git route and migrate legacy /git-ext usage. Adds an Alembic migration that updates the installed_plugins manifest for serverkit-git to the canonical /git contributions. Frontend changes: plugin manifests and build-time plugin list use the new display name and /git routes; plugin entry exports now expose GitExtensionPage (and keep GitExtPage as a compatibility alias); contribution normalization rewrites older plugin contributions that referenced /git-ext to the canonical /git and provides fallback normalization for build-time contributions; App routing adds redirects for legacy git-ext routes to /git and removes the host's hardcoded /git page from core routes; Command Palette and Sidebar code updated to remove the static core Git item and to respect plugin-contributed nav items (including new hidden-item handling and Set-based sidebar helpers). Small backend docstring wording tweak.
38 lines
1.2 KiB
JSON
38 lines
1.2 KiB
JSON
{
|
|
"name": "serverkit-git",
|
|
"display_name": "Git Server",
|
|
"version": "1.0.0",
|
|
"description": "Self-hosted Git server (Gitea) exposed through the ServerKit extension system.",
|
|
"author": "ServerKit",
|
|
"license": "MIT",
|
|
"category": "deployment",
|
|
"homepage": "https://github.com/jhd3197/ServerKit",
|
|
"permissions": ["docker", "filesystem"],
|
|
"contributions": {
|
|
"nav": [
|
|
{
|
|
"id": "git",
|
|
"label": "Git",
|
|
"route": "/git",
|
|
"category": "infrastructure",
|
|
"icon": "<circle cx=\"18\" cy=\"18\" r=\"3\"/><circle cx=\"6\" cy=\"6\" r=\"3\"/><path d=\"M6 21V9a9 9 0 0 0 9 9\"/>"
|
|
}
|
|
],
|
|
"routes": [
|
|
{ "path": "git", "component": "GitExtensionPage" },
|
|
{ "path": "git/:tab", "component": "GitExtensionPage" }
|
|
],
|
|
"page_titles": {
|
|
"/git": "Git Repositories"
|
|
},
|
|
"command_palette": [
|
|
{
|
|
"label": "Git",
|
|
"path": "/git",
|
|
"category": "Pages",
|
|
"keywords": "git repos deploy extension plugin"
|
|
}
|
|
]
|
|
}
|
|
}
|