Hi devs,

As per https://wiki.phpmyadmin.net/pma/2015-04_Meeting I have removed unmaintained branches and pre-release tags.

Now, to propagate the same to your copy of the repo:

1. Assuming you don't have local tags of your own, you can delete your local tags and fetch them from remote:

git tag -l | xargs git tag -d git fetch

2. Now to remove old branches

git gc (which calls git prune)