[phpMyAdmin Git] [phpmyadmin/website] 28cd27: Document that we are currently using GitHub