Hi all
as agreed yesterday, we are going to move our repositories to Github, all you need to do are few simple steps described on the wiki:
https://wiki.phpmyadmin.net/pma/Git_migration
What I need right now is you to send me your login on github so that I can add you to the project. Once all people are granted access we will actually switch to using github, what will be announced later.
PS: Our code is just being pushed there as I write this.