Какие фреймворки или инструменты для миграций баз данных использовали?

Назовите реально использованные инструменты миграций и объясните, как они хранят версии схемы и применяют изменения. Примеры: Django migrations, Alembic, Flyway или Liquibase.

Недостаточно перечислить названия: расскажите, как создавали миграцию, проверяли SQL, запускали её при выкладке и обрабатывали ошибку. Отделяйте изменение схемы от переноса данных, а автоматическую генерацию — от проверки корректности. Для большой таблицы учитывайте длительность блокировок и совместимость старой и новой версии приложения. Не любую миграцию безопасно откатывать: удалённые данные обратная команда сама не восстановит.