| commit | 00b3ba554e0931b8d7c1e4534ab3c3ebf5ebd604 | [log] [tgz] |
|---|---|---|
| author | margaretha <margaretha@ids-mannheim.de> | Tue Aug 29 14:46:03 2017 +0200 |
| committer | Gerrit Code Review <gerrit2@korap.ids-mannheim.de> | Tue Aug 29 14:46:03 2017 +0200 |
| tree | 70679d1b02b03be070b984dcee5ad3f987bbe22e | |
| parent | 32b03baccdd3dd41904d2cff124c2e56e28dbcbb [diff] |
refs/meta/config force push
diff --git a/project.config b/project.config index 0f66cdf..0d130fc 100644 --- a/project.config +++ b/project.config
@@ -45,7 +45,7 @@ exclusiveGroupPermissions = read read = group Administrators read = group Project Owners - push = group Administrators + push = +force group Administrators push = group Project Owners label-Code-Review = -2..+2 group Administrators label-Code-Review = -2..+2 group Project Owners