8 Apr
2015
8 Apr
'15
8:22 p.m.
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)