phpMyAdmin has switched to github


The phpMyAdmin project has moved all its git repositories over to
github. This allows people to contribute easier; it also brings speed
improvements to developers.

If you were using git to get the latest sources of phpMyAdmin, you
should change the remote from where you pull to github, for example:

git remote set-url origin git://