[phpMyAdmin Developers] how to use git to fix issues