petra-tool / backend / app / migrations

Generic single-database configuration.