
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)