Fixing the tags
| From: | Derick Rethans | Date: | Fri, 15 Aug 2014 09:51:12 +0000 |
| Subject: | Fixing the tags | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-76545@lists.php.net to get a copy of this message | ||
Hi,
I'm removing all the tags that Dmitry added by mistake. Please take care
by not putting them back! This might require you to delete those tags
locally as well. There is a handy script:
for i in
git tag -l | grep PHP-; do git tag -d $i; done
cheers,
Derick