Hashar has submitted this change and it was merged.
Change subject: Allow ops to force push on ops/dns.git
......................................................................
Allow ops to force push on ops/dns.git
---
M project.config
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Verified; Looks good to me, approved
diff --git a/project.config b/project.config
index aa1355c..5152a87 100644
--- a/project.config
+++ b/project.config
@@ -6,7 +6,7 @@
create = group ldap/ops
forgeAuthor = group ldap/ops
forgeCommitter = group ldap/ops
- push = group ldap/ops
+ push = +force group ldap/ops
pushMerge = group ldap/ops
pushTag = group ldap/ops
submit = group ldap/ops
--
To view, visit https://gerrit.wikimedia.org/r/74122
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib8704adbf7672cde8fa35dcb126982b526403d06
Gerrit-PatchSet: 1
Gerrit-Project: operations/dns
Gerrit-Branch: refs/meta/config
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Faidon <fai...@wikimedia.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
