From a6172ffefcd1791d42f8e559331d931c1f3230cc Mon Sep 17 00:00:00 2001 From: Andrew Grimberg Date: Fri, 20 Apr 2018 19:30:10 +0000 Subject: [PATCH] Disallow merge pushes We find that merge pushes are a bad practice. As such we disallow them from happening Signed-off-by: Andrew Grimberg --- project.config | 1 - 1 file changed, 1 deletion(-) diff --git a/project.config b/project.config index 36e5f86..c2b4af5 100644 --- a/project.config +++ b/project.config @@ -18,7 +18,6 @@ addPatchSet = group Registered Users [access "refs/for/refs/*"] push = group Registered Users - pushMerge = group Registered Users [access "refs/heads/*"] create = group Administrators create = group Project Owners -- 2.16.6