diff --git a/src/components/config/GitHubMirrorSettings.tsx b/src/components/config/GitHubMirrorSettings.tsx index 0fbb475..9fd67c3 100644 --- a/src/components/config/GitHubMirrorSettings.tsx +++ b/src/components/config/GitHubMirrorSettings.tsx @@ -57,7 +57,7 @@ export function GitHubMirrorSettings({ onGitHubConfigChange({ ...githubConfig, [field]: value }); }; - const handleMirrorChange = (field: keyof MirrorOptions, value: boolean) => { + const handleMirrorChange = (field: keyof MirrorOptions, value: boolean | number) => { onMirrorOptionsChange({ ...mirrorOptions, [field]: value }); }; @@ -313,16 +313,41 @@ export function GitHubMirrorSettings({ onCheckedChange={(checked) => handleMirrorChange('mirrorReleases', !!checked)} />
- Include GitHub releases, tags, and associated assets -
++ Include GitHub releases, tags, and associated assets +
+Pull Requests are mirrored as issues
++ Due to Gitea API limitations, PRs cannot be created as actual pull requests. + Instead, they are mirrored as issues with: +
+Pull Requests are mirrored as issues
-- Due to Gitea API limitations, PRs cannot be created as actual pull requests. - Instead, they are mirrored as issues with: -
-