Aude has submitted this change and it was merged.
Change subject: Point easyrdf submodule to gerrit repo
......................................................................
Point easyrdf submodule to gerrit repo
Change-Id: I93b223cc33e906810d1f98f7392be5e2a356505f
---
M .gitmodules
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Aude: Verified; Looks good to me, approved
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/64069
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I93b223cc33e906810d1f98f7392be5e2a356505f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: mw1.22-wmf4
Gerrit-Owner: Aude <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
