Don't sync branches with branch.$name.denygerrit set to true

This way we can publish read-only branches in a repository,
but don't permit them to be updated through Gerrit.

Signed-off-by: Shawn O. Pearce <sop@google.com>
1 file changed