Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix(filemanager): query files #142

Merged
merged 1 commit into from
Mar 8, 2024
Merged

fix(filemanager): query files #142

merged 1 commit into from
Mar 8, 2024

Conversation

mmalenic
Copy link
Member

@mmalenic mmalenic commented Mar 8, 2024

Changes

Sorry @brainstorm, I think I'll be able to get rid of these query files soon with #133.

@mmalenic mmalenic requested a review from brainstorm March 8, 2024 05:14
@mmalenic mmalenic self-assigned this Mar 8, 2024
@mmalenic mmalenic added fix filemanager an issue relating to the filemanager labels Mar 8, 2024
brainstorm
brainstorm approved these changes Mar 8, 2024
View reviewed changes
Copy link
Member

@brainstorm brainstorm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Indeed, garbage collecting those for good cannot come soon enough ;P

@mmalenic
Copy link
Member Author

mmalenic commented Mar 8, 2024

Where is the garbage man in this city!

@mmalenic mmalenic merged commit bb18178 into main Mar 8, 2024
2 checks passed
@mmalenic mmalenic deleted the fix/query-files branch March 8, 2024 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@brainstorm brainstorm brainstorm approved these changes

Assignees

@mmalenic mmalenic

Labels
filemanager an issue relating to the filemanager fix
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mmalenic @brainstorm