jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/338109 )
Change subject: [maven-release-plugin] prepare release extra-5.2.0
......................................................................
[maven-release-plugin] prepare release extra-5.2.0
Change-Id: I7eef89e39a748ae313cfe402032ade62d23c4091
---
M pom.xml
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
DCausse: Looks good to me, approved
diff --git a/pom.xml b/pom.xml
index 35fe06b..75095cb 100644
--- a/pom.xml
+++ b/pom.xml
@@ -10,7 +10,7 @@
<groupId>org.wikimedia.search</groupId>
<artifactId>extra</artifactId>
- <version>5.2.0-SNAPSHOT</version>
+ <version>5.2.0</version>
<description>Extra queries and filters for Elasticsearch.</description>
<licenses>
@@ -34,7 +34,7 @@
<url>https://gerrit.wikimedia.org/r/#/admin/projects/search/extra</url>
<connection>scm:git:https://gerrit.wikimedia.org/r/search/extra</connection>
<developerConnection>scm:git:https://gerrit.wikimedia.org/r/search/extra</developerConnection>
- <tag>HEAD</tag>
+ <tag>extra-5.2.0</tag>
</scm>
<issueManagement>
--
To view, visit https://gerrit.wikimedia.org/r/338109
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7eef89e39a748ae313cfe402032ade62d23c4091
Gerrit-PatchSet: 1
Gerrit-Project: search/extra
Gerrit-Branch: master
Gerrit-Owner: DCausse <[email protected]>
Gerrit-Reviewer: DCausse <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
