Felipe Schenone has submitted this change and it was merged.
Change subject: Realized both Push and Push Merge Commit are needed for pushes
into the repo for the review.
......................................................................
Realized both Push and Push Merge Commit are needed for pushes into the repo
for the review.
---
M project.config
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Felipe Schenone: Verified; Looks good to me, approved
diff --git a/project.config b/project.config
index ca1044e..61f4377 100644
--- a/project.config
+++ b/project.config
@@ -9,3 +9,4 @@
[access "refs/*"]
owner = group extension-PageDisqus
push = group Registered Users
+ pushMerge = group Registered Users
--
To view, visit https://gerrit.wikimedia.org/r/296865
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I250123f45e13e3076249f0cf682342cf0e6ef34b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PageDisqus
Gerrit-Branch: refs/meta/config
Gerrit-Owner: Clayjar <clay...@gmail.com>
Gerrit-Reviewer: Felipe Schenone <scheno...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
