[java-identity-provider] branch main updated: Move gpg-plugin version into the profile where it is used

[Rod Widdowson]

This is an automated email from the git hooks/post-receive script.

rdw pushed a commit to branch main
in repository java-identity-provider.

View the commit online:
http://git.shibboleth.net/view/?p=java-identity-provider.git;a=commit;h=5e72182187fb55619a22746797c1027d1d2c4885

The following commit(s) were added to refs/heads/main by this push:
     new 5e7218218 Move gpg-plugin version into the profile where it is used
5e7218218 is described below

commit 5e72182187fb55619a22746797c1027d1d2c4885
Author: Rod Widdowson <rdw at steadingsoftware.com>
AuthorDate: Sun Apr 14 14:15:34 2024 +0100

    Move gpg-plugin version into the profile where it is used
---
 idp-msi/pom.xml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/idp-msi/pom.xml b/idp-msi/pom.xml
index f5e49669c..e27704681 100644
--- a/idp-msi/pom.xml
+++ b/idp-msi/pom.xml
@@ -25,7 +25,6 @@
         -->
         <msi.version>5.1.2.99</msi.version>
         <supress.validation>false</supress.validation>
-        <maven-gpg-plugin.version>3.2.3</maven-gpg-plugin.version>
     </properties>
 
     <profiles>
@@ -131,6 +130,12 @@
         </profile>
         <profile>
             <id>sign-and-push-snapshot</id>
+            <activation>
+                <activeByDefault>false</activeByDefault>
+            </activation>
+	    <properties>
+		<maven-gpg-plugin.version>3.2.3</maven-gpg-plugin.version>
+	    </properties>
             <build>
                 <plugins>
                     <!-- Create gnupg-homedir and import secret key from env. -->

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.