jenkins-bot has submitted this change and it was merged.
Change subject: Point easyrdf submodule to gerrit repo
......................................................................
Point easyrdf submodule to gerrit repo
Change-Id: I370863658f2a544feacc1d539ea772a5adbdb387
---
M .gitmodules
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Denny Vrandecic: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.gitmodules b/.gitmodules
index 9a6942a..a68e243 100755
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "repo/includes/content/easyRdf"]
+[submodule "content/easyRdf"]
path = contrib/easyRdf
- url = https://github.com/Wikidata/easyrdf_lite.git
+ url =
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/Wikibase/easyrdf.git
--
To view, visit https://gerrit.wikimedia.org/r/64066
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I370863658f2a544feacc1d539ea772a5adbdb387
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Aude <[email protected]>
Gerrit-Reviewer: Denny Vrandecic <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
