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.

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

fix: add dbdev to schema ignore list #2205

Merged
merged 1 commit into from Apr 24, 2024
Merged

fix: add dbdev to schema ignore list #2205

merged 1 commit into from Apr 24, 2024

Conversation

sweatybridge
Copy link
Contributor

@sweatybridge sweatybridge commented Apr 24, 2024

What kind of change does this PR introduce?

Bug fix

What is the new behavior?

Ignore dbdev schema since it's managed by extension.

Additional context

Add any other context or screenshots.

@sweatybridge sweatybridge requested a review from a team as a code owner April 24, 2024 03:45
@sweatybridge sweatybridge merged commit a237ceb into develop Apr 24, 2024
9 checks passed
@sweatybridge sweatybridge deleted the ignore-dbdev branch April 24, 2024 03: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.

None yet

1 participant