Jhernandez has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/370652 )
Change subject: Modify access rules
......................................................................
Modify access rules
Change-Id: I8e00a221b728449f6924caf3f6288ceb0a25369d
---
M project.config
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Jhernandez: Verified; Looks good to me, approved
diff --git a/project.config b/project.config
index 8715b83..5abe25a 100644
--- a/project.config
+++ b/project.config
@@ -9,3 +9,5 @@
submit = group JenkinsBot
forgeAuthor = group marvin
forgeCommitter = group marvin
+ create = group marvin
+ push = +force group marvin
--
To view, visit https://gerrit.wikimedia.org/r/370652
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8e00a221b728449f6924caf3f6288ceb0a25369d
Gerrit-PatchSet: 2
Gerrit-Project: marvin
Gerrit-Branch: refs/meta/config
Gerrit-Owner: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: Jhernandez <jhernan...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
