Skip to content

fix(storage): close Files.walk stream in deleteRepo to stop leak#5575

Open
justinsiek wants to merge 1 commit into
apache:mainfrom
justinsiek:fix/deleterepo-stream-leak
Open

fix(storage): close Files.walk stream in deleteRepo to stop leak#5575
justinsiek wants to merge 1 commit into
apache:mainfrom
justinsiek:fix/deleterepo-stream-leak

Conversation

@justinsiek

Copy link
Copy Markdown

Closes #5548

Close Files.walk stream so directory handle is released immediately instead of leaking.

@github-actions

github-actions Bot commented Jun 8, 2026

Copy link
Copy Markdown
Contributor

👋 Thanks for your first contribution to Texera, @justinsiek!

You can drive common housekeeping tasks just by leaving a comment. Type the command on its own line.

On issues

Command What it does
/take Assign the issue to yourself (self-claim it)
/untake Remove yourself as assignee

To find unclaimed work, search is:issue is:open no:assignee — there's no "triage" label; the search filter is the triage state.

Linking sub-issues

Command Where to run it What it does
/sub-issue #12 #13 On the parent Links #12 and #13 as children of this issue
/unsub-issue #12 #13 On the parent Unlinks those children
/parent-issue #5 On the child Sets #5 as this issue's parent
/unparent-issue On the child Removes this issue's parent (auto-detected)
/unparent-issue #5 On the child Removes parent #5 explicitly

You can write references as #12 or bare 12. Cross-repo references like owner/repo#12 aren't supported and are ignored.

On pull requests (author only)

Command What it does
/request-review @user [@user ...] Request reviews from those users
/unrequest-review @user [@user ...] Cancel those review requests

You can mention teams as @org/team, and @copilot works too. Only the PR author can use these commands.

Note: Commands must match exactly — /take this won't work, only /take. Bots are ignored, and you can't self-link an issue or set an issue as its own parent.

For the full contribution flow, see CONTRIBUTING.md.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Close Files.walk stream in GitVersionControlLocalFileStorage.deleteRepo

1 participant