Skip to content

Include (uncompressed) size in branch index#76

Merged
wjt merged 2 commits intomainfrom
wjt/push-plkwtlqmmpkk
Dec 11, 2025
Merged

Include (uncompressed) size in branch index#76
wjt merged 2 commits intomainfrom
wjt/push-plkwtlqmmpkk

Conversation

@wjt
Copy link
Member

@wjt wjt commented Dec 11, 2025

No description provided.

wjt added 2 commits December 11, 2025 16:41
Previously we hold the request open while unpacking the zip file, but
since we need to copy the request body to a temporary file anyway (the
zip format requires seeking), we can close the HTTP object before
unpacking the zip. This also reduces the confusingly-deep indentation.
@wjt wjt merged commit 257240a into main Dec 11, 2025
1 check passed
@wjt wjt deleted the wjt/push-plkwtlqmmpkk branch December 11, 2025 17:55
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

Comments