ddev ssh
drush sql-dump --extra-dump=--no-tablespaces | gzip > backup/db-dump.<project-name>.sql.$(date +%Y-%m-%d-%H.%M.%S).gz
exitddev ssh
drush sql-drop
Copy the database export from other-developer/git/alpha/beta/prod into the backup directory (to keep it gitignored)
gunzip -c backup/<name-of-compressed-database-backup-file.gz> | drush sqlc
NOTE: This may take a while because we are importing while decompressing on the fly.
exit