Remove old website update in Jenkins

Author: WardBrian

Jenkinsfile

@@ -97,65 +97,5 @@ pipeline {
                 deleteDir()
             }
         }
-        stage('Checkout stan-dev.github.io and update docs version') {
-            agent {
-                dockerfile {
-                    filename 'docker/docs/Dockerfile'
-                    dir '.'
-                    label 'linux && triqs'
-                    additionalBuildArgs  '--build-arg PUID=\$(id -u) --build-arg PGID=\$(id -g)'
-                }
-            }
-            when {
-              expression {
-                params.docsStanDev
-              }
-            }
-            steps {
-                checkout([$class: 'GitSCM',
-                          branches: [[name: '*/master']],
-                          doGenerateSubmoduleConfigurations: false,
-                          extensions: [],
-                          submoduleCfg: [],
-                          userRemoteConfigs: [[url: "https://github.com/stan-dev/stan-dev.github.io.git", credentialsId: 'a630aebc-6861-4e69-b497-fd7f496ec46b']]]
-                )
-
-                /* Format version numbers with dot and underscore then replace the old values */
-                script {
-                    def last_version_parts = last_docs_version_dir.split("_")
-                    def last_version_dot = last_version_parts[0] + "." + last_version_parts[1]
-                    def new_version_underscore = major_version + "_" + minor_version
-                    def new_version_dot = major_version + "." + minor_version
-
-                    /* Linux Version */
-                    sh """
-                        sed -i 's/$last_docs_version_dir/$new_version_underscore/g' users/documentation/index.md
-                        sed -i 's/$last_version_dot/$new_version_dot/g' users/documentation/index.md
-                        sed -i 's/$last_docs_version_dir/$new_version_underscore/g' users/interfaces/cmdstan.md
-                        sed -i 's/$last_version_dot/$new_version_dot/g' users/interfaces/cmdstan.md
-                    """
-                }
-
-                /* Create a merge request */
-                withCredentials([usernamePassword(credentialsId: 'a630aebc-6861-4e69-b497-fd7f496ec46b',
-                    usernameVariable: 'GIT_USERNAME', passwordVariable: 'GIT_PASSWORD')]) {
-                    sh """
-                        git config user.email "[email protected]"
-                        git config user.name "Stan Jenkins"
-                        git config auth.token ${GITHUB_TOKEN}
-
-                        git checkout -b docs-$major_version-$minor_version
-
-                        git add .
-                        git commit -m "Documentation generated from Jenkins for docs-$major_version-$minor_version"
-                        git push https://${GIT_USERNAME}:${GIT_PASSWORD}@github.com/stan-dev/stan-dev.github.io.git docs-$major_version-$minor_version
-
-                        curl -s -H "Authorization: token ${GITHUB_TOKEN}" -X POST -d '{"title": "Docs updated by Jenkins for v$major_version-$minor_version", "head":"docs-$major_version-$minor_version", "base":"master", "body":"Docs updated through the [Jenkins Job](https://jenkins.flatironinstitute.org/job/Stan/job/BuildDocs/)"}' "https://api.github.com/repos/stan-dev/stan-dev.github.io/pulls"
-                    """
-                }
-                deleteDir()
-            }
-
-        }
     }
 }