recursecenter / pairing-bot

A Zulip bot that partners people for pair programming practice
MIT License
22 stars 15 forks source link

Merge DB fixes from dev #71

Closed jdkaplan closed 2 months ago

jdkaplan commented 2 months ago

The unified DB connection pool (#68) seems to work in test, so it's time to run it on main.

As a bonus, we also get integration tests (#64) running in CI!

I did a quick-fix (#70) directly to main, so this gives us a little bit of a merge bubble. So in addition to the usual "promote dev to main" (what this PR is), I'll also force-reset dev to match the new main post-merge.