Jhernandez has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/371047 )
Change subject: Doc: update package source repository link
......................................................................
Doc: update package source repository link
Replace the temporary GitHub repo with the permanent Diffusion one.
Change-Id: I7559870171620e7eb55f55408f0ce1a4170f33ee
---
M package.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Jhernandez: Verified; Looks good to me, approved
diff --git a/package.json b/package.json
index 9faa5b5..3241726 100644
--- a/package.json
+++ b/package.json
@@ -18,7 +18,7 @@
},
"repository": {
"type": "git",
- "url": "git+https://github.com/niedzielski/marvin.git";
+ "url": "git+https://phabricator.wikimedia.org/source/marvin.git";
},
"keywords": [
"mediawiki",
--
To view, visit https://gerrit.wikimedia.org/r/371047
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7559870171620e7eb55f55408f0ce1a4170f33ee
Gerrit-PatchSet: 1
Gerrit-Project: marvin
Gerrit-Branch: master
Gerrit-Owner: Niedzielski <sniedziel...@wikimedia.org>
Gerrit-Reviewer: Jhernandez <jhernan...@wikimedia.org>
Gerrit-Reviewer: Sniedzielski <sniedziel...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
