[phpMyAdmin Git] [phpmyadmin/scripts] 9e9739: Document why pull is needed here