protect master branches except for the pecl repos against force pushes #4
as discussed on the mailing list it would be nice if not everybody can force push for every other repo but php-src.git.
I haven't reviewed this. But I'd suggest to change the error message. Something like
-deny("You are not allowed to overwrite commits on " . implode(', ', $restricted));
(not sure we have a mailing list, should use systems@ or list specific names)