ddev 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