Skip to content

Actually ignore the right file#128

Merged
jonnyjohannes merged 1 commit into
masterfrom
ignore-database-json
Jun 10, 2026
Merged

Actually ignore the right file#128
jonnyjohannes merged 1 commit into
masterfrom
ignore-database-json

Conversation

@binamkayastha

Copy link
Copy Markdown
Collaborator

oopsie

@flufflycthu1u flufflycthu1u left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM

@jonnyjohannes jonnyjohannes merged commit 3feaf79 into master Jun 10, 2026
2 checks passed
@jonnyjohannes jonnyjohannes deleted the ignore-database-json branch June 10, 2026 00:40
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.

3 participants