I've searched pretty much everywhere but I wasn't able to find anything.
Is there a command or a procedure to change the name of a table (so inside doctrine annotation) without loosing data?
Basically, something that will produce something like
RENAME TABLE old_table TO new_table;
or
ALTER TABLE old_table RENAME new_table;
MySQL commands taken from here
Should I write manually the migration file with doctrine:migrations:generate
?