unread
Hi,
by accident a developer pushed master onto the PHP-7.0 branch. A force
push was used to repair the repository.
The broken state has been backed up here:
https://github.com/johannes/php-src/tree/backup-broken-7.0
From there the revision has been reverted to 8f35ee49ee.
If you pulled within the last few hours please be careful to work on the
correct branch.
Thanks,
johannes
P.S. This happens about once a year, could be nice if somebody with some
git scripting skills could provide a script to prevent pushing
revisions, which exist in a higher branch, to a lower branch.