git branches 5.3/ 5.4 / 5.5

Hi, there were branches with the names 5.3 5.4 5.5 in our main repository. This was confusing with PHP-5.x which we use. As those where full merged they were most likely pushed by accident. I have deleted them from the repo. Important: To ensure you don't push them by accident please run this command to delete them from your local clone: $ git branch -d 5.3 5.4 5.5 Deleted branch 5.3 (was 15b554c). Deleted branch 5.4 (was bcdac75). Deleted branch 5.5 (was 4c76215). In case you committed anything to those branches the operation will fail and you can preserve those changes. I have archived those branches under the branch names backup5.[345] on my github clone: https://github.com/johannes/php-src/tree/backup5.3 https://github.com/johannes/php-src/tree/backup5.4 https://github.com/johannes/php-src/tree/backup5.5 johannes