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

Use MongoDB 7 #708

Merged
merged 10 commits into from
Dec 19, 2023
Merged

Use MongoDB 7 #708

merged 10 commits into from
Dec 19, 2023

Conversation

b1ron
Copy link
Contributor

@b1ron b1ron commented Dec 18, 2023 •
edited
Loading

Closes #641.

@b1ron b1ron added the code/chore Dance tool code maintenance improvements label Dec 18, 2023
@b1ron b1ron self-assigned this Dec 18, 2023
@b1ron b1ron marked this pull request as ready for review December 19, 2023 13:29
@b1ron b1ron requested a review from a team as a code owner December 19, 2023 13:29
@b1ron b1ron requested a review from AlekSi December 19, 2023 13:29
@b1ron b1ron enabled auto-merge (squash) December 19, 2023 13:30
@b1ron b1ron merged commit ae42776 into FerretDB:main Dec 19, 2023
57 of 58 checks passed
@b1ron b1ron deleted the mongo7 branch February 13, 2024 15:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@henvic henvic henvic approved these changes

@AlekSi AlekSi AlekSi approved these changes

Assignees

@b1ron b1ron

Labels
code/chore Dance tool code maintenance improvements
Projects
Current Engineering
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Use MongoDB 7
3 participants
@b1ron @AlekSi @henvic