# Fixing the tags

- Thread: https://externals.io/message/76545
- Original archive: https://news-web.php.net/php.internals/76545
- Started by Derick Rethans on 2014-08-15T09:51:12+00:00
- Messages: 1
- Reply by email to internals@lists.php.net
- More for agents: search with https://externals.io/search.md?q={query} · JSON API at https://externals.io/api · documentation at https://externals.io/llms.txt

---

## #76545 — Derick Rethans — 2014-08-15T09:51:12+00:00

URL: https://externals.io/message/76545#76545

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