change default derby to some other DB #2639
Description
given that Derby as such has been retired as of 2025-10-10, see https://db.apache.org/derby/
{{ message }}
given that Derby as such has been retired as of 2025-10-10, see https://db.apache.org/derby/