Umherirrender has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/394815 )
Change subject: Mark repository as read only
..
Mark repository as read only
Bug: T180808
Change-Id: I47d55f8c4b25d476edc0cc4f92016cfd76a206aa
---
M project.config
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Umherirrender: Verified; Looks good to me, approved
diff --git a/project.config b/project.config
index 320f0bd..d36a984 100644
--- a/project.config
+++ b/project.config
@@ -8,6 +8,7 @@
owner = group extension-ActionEditSubmit
push = group extension-ActionEditSubmit
[project]
- description = MediaWiki extension ActionEditSubmit
+ state = read only
+ description = [ARCHIVED] MediaWiki extension ActionEditSubmit
--
To view, visit https://gerrit.wikimedia.org/r/394815
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I47d55f8c4b25d476edc0cc4f92016cfd76a206aa
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/ActionEditSubmit
Gerrit-Branch: refs/meta/config
Gerrit-Owner: MarcoAurelio
Gerrit-Reviewer: Umherirrender
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits