jenkins-bot has submitted this change and it was merged.
Change subject: Rename jars
......................................................................
Rename jars
The jars were named "common", "blazegraph", and "tools" which isn't super
clear. This makes them named "wikidata-query-common", etc. Easier to
recognize.
Change-Id: I85320797b0f738ff3633c5df41c45f803826c519
---
M blazegraph/pom.xml
M common/pom.xml
M tools/pom.xml
3 files changed, 3 insertions(+), 0 deletions(-)
Approvals:
Smalyshev: Looks good to me, approved
Manybubbles: Looks good to me, approved
jenkins-bot: Verified
diff --git a/blazegraph/pom.xml b/blazegraph/pom.xml
index 116a910..ea44410 100644
--- a/blazegraph/pom.xml
+++ b/blazegraph/pom.xml
@@ -25,6 +25,7 @@
</dependency>
</dependencies>
<build>
+ <finalName>wikidata-query-blazegraph-${project.version}</finalName>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
diff --git a/common/pom.xml b/common/pom.xml
index 1406621..d42a395 100644
--- a/common/pom.xml
+++ b/common/pom.xml
@@ -19,6 +19,7 @@
</licenses>
<build>
+ <finalName>wikidata-query-common-${project.version}</finalName>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
diff --git a/tools/pom.xml b/tools/pom.xml
index 5e30852..ce82c3f 100644
--- a/tools/pom.xml
+++ b/tools/pom.xml
@@ -77,6 +77,7 @@
</dependencies>
<build>
+ <finalName>wikidata-query-tools-${project.version}</finalName>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
--
To view, visit https://gerrit.wikimedia.org/r/201702
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I85320797b0f738ff3633c5df41c45f803826c519
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Manybubbles <never...@wikimedia.org>
Gerrit-Reviewer: Jdouglas <jdoug...@wikimedia.org>
Gerrit-Reviewer: Manybubbles <never...@wikimedia.org>
Gerrit-Reviewer: Smalyshev <smalys...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
