Skip to content

DEVELOPMENT.md: instructions on loading production db dump - #273

Merged
lmrodriguezr merged 1 commit into
mainfrom
development-md-prod-db-dump
Jun 16, 2026
Merged

lmrodriguezr merged 1 commit into
mainfrom
development-md-prod-db-dump

Conversation

@vangberg

Copy link
Copy Markdown
Contributor

For future reference :)

@vangberg
vangberg force-pushed the development-md-prod-db-dump branch from 3b2e520 to a7d92dd Compare June 15, 2026 12:10
@lmrodriguezr
lmrodriguezr merged commit 160c581 into main Jun 16, 2026
3 checks passed
@lmrodriguezr
lmrodriguezr deleted the development-md-prod-db-dump branch June 16, 2026 14:53
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.

2 participants