[MediaWiki-commits] [Gerrit] operations/puppet[production]: Add categories RDF dump into the index page

2017-09-11 Thread ArielGlenn (Code Review)
ArielGlenn has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/377369 )

Change subject: Add categories RDF dump into the index page
..


Add categories RDF dump into the index page

Bug: T173892
Change-Id: I84accad4cb25f9bafbb6ef015c638425672e884b
---
M modules/dataset/files/html/other_index.html
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  ArielGlenn: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/dataset/files/html/other_index.html 
b/modules/dataset/files/html/other_index.html
index 9798ee5..4c7ba08 100644
--- a/modules/dataset/files/html/other_index.html
+++ b/modules/dataset/files/html/other_index.html
@@ -34,6 +34,7 @@
Dumps of images and content of 
wikitech.wikimedia.org
Content 
Translation dumps in json and tmx format
XML or other files for 
testing use
+   Mediawiki categories as 
RDF




-- 
To view, visit https://gerrit.wikimedia.org/r/377369
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I84accad4cb25f9bafbb6ef015c638425672e884b
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Smalyshev 
Gerrit-Reviewer: ArielGlenn 
Gerrit-Reviewer: Gehel 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits


[MediaWiki-commits] [Gerrit] operations/puppet[production]: Add categories RDF dump into the index page

2017-09-11 Thread Smalyshev (Code Review)
Smalyshev has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/377369 )

Change subject: Add categories RDF dump into the index page
..

Add categories RDF dump into the index page

Bug: T173892
Change-Id: I84accad4cb25f9bafbb6ef015c638425672e884b
---
M modules/dataset/files/html/other_index.html
1 file changed, 1 insertion(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/69/377369/1

diff --git a/modules/dataset/files/html/other_index.html 
b/modules/dataset/files/html/other_index.html
index 9798ee5..4c7ba08 100644
--- a/modules/dataset/files/html/other_index.html
+++ b/modules/dataset/files/html/other_index.html
@@ -34,6 +34,7 @@
Dumps of images and content of 
wikitech.wikimedia.org
Content 
Translation dumps in json and tmx format
XML or other files for 
testing use
+   Mediawiki categories as 
RDF




-- 
To view, visit https://gerrit.wikimedia.org/r/377369
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I84accad4cb25f9bafbb6ef015c638425672e884b
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Smalyshev 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits