use developerConnection in scm-publish plugin

so that we can conveniently push docs after a release
LearnLib · Nov 15, 2023 · 0c05c8c · 0c05c8c
1 parent b06628f
commit 0c05c8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -1200,7 +1200,7 @@ limitations under the License.
                         <groupId>org.apache.maven.plugins</groupId>
                         <artifactId>maven-scm-publish-plugin</artifactId>
                         <configuration>
-                            <pubScmUrl>${project.scm.connection}</pubScmUrl>
+                            <pubScmUrl>${project.scm.developerConnection}</pubScmUrl>
                             <scmBranch>gh-pages</scmBranch>
                             <tryUpdate>true</tryUpdate>
                             <!--