Granting SUPER privilege on databases with DrupalVM

Problem

I needed to grant the SUPER privilege to my Vagrant database user, and adding an item to mysql_users with append_privs per Ansible's mysql_user module documentation wasn't working for me.  

Solution

In your favorite local DrupalVM config file, redeclare the standard mysql_users, but add an additional privilege declaration in the priv property for *.*:SUPER.

mysql_users:
  - name: "{{ drupal_db_user }}"
    host: "%"
    password: "{{ drupal_db_password }}"
    priv: "*.*:SUPER/{{ drupal_db_name }}.*:ALL"