(3) Karma system fixes. Already done by me. People who have access to the root of a repository are able to do forced pushes.
Do you think it's good idea not to forbid forced pushes at all? Cheers Jaroslav -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
