Kian Jones b8e9a80d93 merge this (#4759) ...

* wait I forgot to comit locally

* cp the entire core directory and then rm the .git subdir

2025-09-17 15:47:40 -07:00

..

Dockerfile.simple

merge this (#4759)

2025-09-17 15:47:40 -07:00

run_postgres.sh

merge this (#4759)

2025-09-17 15:47:40 -07:00