Skip to content

Comments

Add zip file source type for local and remote zip archives#21

Merged
mrsimpson merged 1 commit intomainfrom
source-zip-file
Feb 18, 2026
Merged

Add zip file source type for local and remote zip archives#21
mrsimpson merged 1 commit intomainfrom
source-zip-file

Conversation

@mrsimpson
Copy link
Owner

Support extracting documentation from zip files, either from a local path or a remote URL. Zip sources use the same smart documentation filtering as git repos. Single-root zip archives are automatically flattened. Also extracts shared file-filtering logic into a reusable module used by both GitRepoLoader and ZipLoader.

Support extracting documentation from zip files, either from a local
path or a remote URL. Zip sources use the same smart documentation
filtering as git repos. Single-root zip archives are automatically
flattened. Also extracts shared file-filtering logic into a reusable
module used by both GitRepoLoader and ZipLoader.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@mrsimpson mrsimpson merged commit 54c4f19 into main Feb 18, 2026
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant