buttonmen-dev / buttonmen

Buttonmen - an online dice game
Other
16 stars 23 forks source link

Push changes from staging to production on 2024-05-12 #2946

Closed cgolubi1 closed 1 month ago

cgolubi1 commented 1 month ago

This update brings these approved pulls to the production branch:

Database updates:

UPDATES=
SCRIPTS=

Once this pull is merged, i will load the changes on www.buttonweavers.com as part of #700 and #2945.

cgolubi1 commented 1 month ago

I'm not sure why my script (and the diff) thinks #2910 and #2911 haven't been deployed to prod, but github thinks this is mergeable, so i'm going to assume it's fine and go ahead.

cgolubi1 commented 1 month ago

Oh, right, it is fine: i made those changes to prod by hand, because those PRs happened around the same time we discovered the deployment issue. Cool cool.