jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/355120 )
Change subject: Make builder use gerrit instead of github for PropertySuggester
......................................................................
Make builder use gerrit instead of github for PropertySuggester
And also switch to dev-master for the extension because it's a mediawiki
extension and it's better that way.
Bug: T104309
Change-Id: I326f3cd4fed8ec07f812a631fc63f82f8f940376
---
M composer.json
1 file changed, 5 insertions(+), 1 deletion(-)
Approvals:
Aude: Looks good to me, approved
jenkins-bot: Verified
diff --git a/composer.json b/composer.json
index e465826..20dc3de 100644
--- a/composer.json
+++ b/composer.json
@@ -5,6 +5,10 @@
"repositories": [
{
"type": "git",
+ "url":
"https://gerrit.wikimedia.org/r/mediawiki/extensions/PropertySuggester";
+ },
+ {
+ "type": "git",
"url":
"https://gerrit.wikimedia.org/r/mediawiki/extensions/Wikidata.org";
},
{
@@ -31,7 +35,7 @@
"require": {
"php": ">=5.5.0",
"mediawiki/article-placeholder": "dev-master",
- "propertysuggester/property-suggester": "~3.1.2",
+ "propertysuggester/property-suggester": "dev-master",
"wikibase/wikibase": "dev-master",
"wikibase/wikimedia-badges": "dev-master",
"wikibase/Wikidata.org": "dev-master",
--
To view, visit https://gerrit.wikimedia.org/r/355120
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I326f3cd4fed8ec07f812a631fc63f82f8f940376
Gerrit-PatchSet: 2
Gerrit-Project: wikidata/build-resources
Gerrit-Branch: master
Gerrit-Owner: Ladsgroup <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Ladsgroup <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
