gerrit-push-for: Default to push for master