I’ve just tried to push directly to our Git repository, and contrary to what I expected, the push succeeded. Since we want to use Gerrit, I’ll open a bug report to have these direct pushes prevented in future. (I’ll make sure to update our developers’
guide first though.)
we should decide to allow pushes without code review, I’d propose to only allow this via the Gerrit server (this is something that may be configured per project; example
IMHO, this is a lot less confusing than the current complete by-pass of Gerrit and the Gerrit rights management.