Don't merge into jdrupes.org any more.

build.gradle

@@ -19,7 +19,7 @@ allprojects {
 }
 
 task stage {
-    description = 'To be executed by CI, build and update JavaDoc.'
+    description = 'To be executed by CI.'
     group = 'build'
 
     // Build everything first
@@ -27,13 +27,6 @@ task stage {
         dependsOn subprojects.tasks.collect { 
             tc -> tc.findByName("build") }.flatten()
     }
-    
-    def gitBranch = grgit.branch.current.name.replace('/', '-')
-    if (JavaVersion.current() == JavaVersion.VERSION_21
-        && gitBranch == "main") {
-        // Publish JavaDoc
-        dependsOn gitPublishPush
-    }
 }
 
 eclipse {