> De : Pierre Joye [mailto:pierre....@gmail.com] > > Even better than a server side hook, far less intrusive and rejecting > a commit when CS are broken before it even gets applied locally sounds > like the best solution so far.
If it is technically possible, I think we need both. Local-side pre-commit hook is optional and would just be a developer's help. Server-side hook should be able to refuse pushes (with probably less strict rules). François -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
