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

cleanups on the db fixes #41

Merged
merged 2 commits into from
Dec 13, 2023
Merged

cleanups on the db fixes #41

merged 2 commits into from
Dec 13, 2023

Conversation

chin-flags
Copy link
Contributor

No description provided.

Copy link

vercel bot commented Dec 13, 2023

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
polis ✅ Ready (Inspect) Visit Preview 💬 Add feedback Dec 13, 2023 2:22pm

Chinthaka Weerakkody added 2 commits December 13, 2023 19:48
@chin-flags chin-flags merged commit 9f7ea84 into main Dec 13, 2023
1 of 2 checks passed
@chin-flags chin-flags deleted the fix/db branch December 13, 2023 14:22
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.

1 participant