在与 Gerrit 合作时，预期push是：
git push origin HEAD:refs/for/branch
但是一些坏人似乎以一种简单的方式做到了这一点（他们从一些 Git 手册中学到了）：
git push origin
或者
git push
这些操作会导致严重的问题：
- 提交直接合并到远程服务器中的主（或某些默认）分支。
- 虽然这些家伙写了一些提交消息，但
git log找不到它们。 - 也许更多...
有没有办法push在 Gerrit 设置中禁用这些操作？还是在客户端禁用它？