[Phpmyadmin-devel] repository maintenance

Marc Delisle marc at infomarc.info
Wed Apr 8 20:22:44 CEST 2015

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)

More information about the Developers mailing list