[phpMyAdmin Git] [phpmyadmin/website] e05d40: Move docker hub trigger to management command