How to restart MySQL in Magento Cloud?

Change the mysqldisk parameter’s value to another one in the .magento/services.yaml file, and then commit the change via Git to the server.
It will restart MySQL.