Gehel has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/382665 )
Change subject: disable publishing of maven site
......................................................................
disable publishing of maven site
Change-Id: I57c57b27def88d206ed508555926e19aa82aea6f
---
M pom.xml
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Gehel: Verified; Looks good to me, approved
diff --git a/pom.xml b/pom.xml
index c48bb61..5219881 100644
--- a/pom.xml
+++ b/pom.xml
@@ -170,6 +170,7 @@
<configuration>
<releaseProfiles>release</releaseProfiles>
<preparationGoals>sortpom:sort clean
verify</preparationGoals>
+ <goals>deploy</goals> <!-- explicitely disable
site-deploy -->
</configuration>
</plugin>
<plugin>
--
To view, visit https://gerrit.wikimedia.org/r/382665
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I57c57b27def88d206ed508555926e19aa82aea6f
Gerrit-PatchSet: 1
Gerrit-Project: wikimedia/discovery/discovery-maven-tool-configs
Gerrit-Branch: master
Gerrit-Owner: Gehel <guillaume.leder...@wikimedia.org>
Gerrit-Reviewer: Gehel <guillaume.leder...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
