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
--- Begin Message ---
Deleted branch: 5.3
User: Johannes Schlüter <johan...@php.net> Thu, 15 Aug 2013 17:47:43
+0000
--
PHP CVS Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
--- End Message ---
--
PHP CVS Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
