Add Contributors group for push
diff --git a/groups b/groups
index 3852fe1..e525221 100644
--- a/groups
+++ b/groups
@@ -2,6 +2,7 @@
#
59ea8dc6cb025e5e0ab33b5ec76d410d5c3917fc Administrators
72b5bab373a241789f4f0e9e86e4a225a23a935b AsterixDB Devs
+a753c96f2a717c01be2e66c6eccb66fd419b90a1 AsterixDB Contributors
d7e31985f7d710d31843f29a3c06480be832a7ab Non-Interactive Users
f902cb1e7a967545ab9a53ca12162c8737ecee5b Event Streaming Users
global:Anonymous-Users Anonymous Users
diff --git a/project.config b/project.config
index d2429ac..4a6c351 100644
--- a/project.config
+++ b/project.config
@@ -17,7 +17,9 @@
read = group Administrators
read = group Anonymous Users
[access "refs/for/refs/*"]
+ push = group AsterixDB Contributors
push = group AsterixDB Devs
+ pushMerge = group AsterixDB Contributors
pushMerge = group AsterixDB Devs
[access "refs/heads/*"]
create = group Administrators