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

make the migration queue even smaller, for future-proofing #806

Merged
merged 1 commit into from
Apr 20, 2024

Conversation

zkat
Copy link
Contributor

@zkat zkat commented Apr 20, 2024

No description provided.

@zkat zkat added the technical improvement General technical improvements that might not be user-visible or affect the overall site experience. label Apr 20, 2024
@zkat zkat merged commit b456332 into main Apr 20, 2024
2 checks passed
@zkat zkat deleted the zkat/smaller-migration-q branch April 20, 2024 16:04
@coveralls
Copy link
Collaborator

Coverage Status

coverage: 44.021%. remained the same
when pulling 0d07495 on zkat/smaller-migration-q
into e6d2b2f on main.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
technical improvement General technical improvements that might not be user-visible or affect the overall site experience.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants