[Phpmyadmin-devel] repository maintenance

[Marc Delisle]

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)


-- 
Marc Delisle (phpMyAdmin)