Re: [Phpmyadmin-devel] Migration to github