Force pushed to PHP-7.0 branch
| From: | Johannes Schlüter | Date: | Mon, 18 Apr 2016 10:25:59 +0000 |
| Subject: | Force pushed to PHP-7.0 branch | ||
| Groups: | php.cvs php.internals | ||
| Request: | Send a blank email to internals+get-92406@lists.php.net to get a copy of this message | ||
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.
Attachment: [application/pgp-signature] This is a digitally signed message part signature.asc
Attachment: [application/pgp-signature] This is a digitally signed message part signature.asc