Johannes Schlüter wrote: > Thanks for the advise! I hope nobody was affected as we had the issue > for less than an hour.
Out of interest, why did you use `reset --hard` rather than `revert`? The latter would have avoided contaminating repositories that had already merged it in, and having two commits in the commit history isn't that bad. (The main issue I can think of is with using `git blame`) -- Ryan McCue <http://ryanmccue.info/> -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
