Add descending indexes in mySQL schema

I do not find how to add a descending index from a schema in mySQL. I know I could always execute the following line manually:

ALTER TABLE tablename ADD index col_desc_idx(col desc);

ALTER TABLE tablename ADD index col_desc_idx(col desc);

ALTER TABLE tablename ADD index col_desc_idx(col desc);

ALTER TABLE tablename ADD index col_desc_idx(col desc);

But I'd really like to be able to include it in the

drizzle-kit push

drizzle-kit push

drizzle-kit push

drizzle-kit push command because I know I will forget at some point otherwise.

Any idea of how to accomplish it?