Here’s another page to prove a point.

when you commit locally, you can push the db into the git repo with the dumpdb script.