Addshore has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/395707 )
Change subject: Remove Wikidata.git from mirror-gerrit-repos script
......................................................................
Remove Wikidata.git from mirror-gerrit-repos script
Change-Id: Ib83c72f3f0b3a972fb6bc61019537318432bba15
---
M dib/elements/wikimedia/root.d/09-mirror-gerrit-repos
1 file changed, 0 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/07/395707/1
diff --git a/dib/elements/wikimedia/root.d/09-mirror-gerrit-repos
b/dib/elements/wikimedia/root.d/09-mirror-gerrit-repos
index 8881a2f..7d2a5df 100755
--- a/dib/elements/wikimedia/root.d/09-mirror-gerrit-repos
+++ b/dib/elements/wikimedia/root.d/09-mirror-gerrit-repos
@@ -32,7 +32,6 @@
'mediawiki/extensions/UniversalLanguageSelector.git'
'mediawiki/extensions/VisualEditor.git'
'mediawiki/extensions/Wikibase.git'
- 'mediawiki/extensions/Wikidata.git'
'mediawiki/vendor.git'
'operations/mediawiki-config.git'
'operations/puppet.git'
--
To view, visit https://gerrit.wikimedia.org/r/395707
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib83c72f3f0b3a972fb6bc61019537318432bba15
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Addshore <addshorew...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
