Skip to content

fix: pipe the drop command to avoid edge cases and reconnection issues#2283

Merged
mishraomp merged 2 commits intomainfrom
fix/crunchy-db-delete-on-pr-close
Feb 20, 2025
Merged

fix: pipe the drop command to avoid edge cases and reconnection issues#2283
mishraomp merged 2 commits intomainfrom
fix/crunchy-db-delete-on-pr-close

Commits

Commits on Feb 20, 2025