Merge remote-tracking branch 'app4triqs-remote/unstable' into unstable

Author: Wentzell

jenkins/Jenkinsfile

@@ -3,7 +3,7 @@ def projectName = "solid_dmft" /* set to app/repo name */
 /* which platform to build documentation on */
 def documentationPlatform = "ubuntu-clang"
 /* depend on triqs upstream branch/project */
-def triqsBranch = env.BRANCH_NAME == "jenkins" ? "jenkins" : "unstable"
+def triqsBranch = env.CHANGE_TARGET ?: env.BRANCH_NAME
 def triqsProject = '/CCQ/TRIQS/triqs/' + triqsBranch.replaceAll('/', '%2F')
 /* Upstream TRIQS apps that solid_dmft imports at runtime. As a python-only app
    we only need them importable, so rather than rebuilding them from source we
@@ -152,7 +152,7 @@ for (int i = 0; i < macosPlatforms.size(); i++) {
 catchError {
   parallel platforms
 
-  if (false && keepInstall) {
+  if (keepInstall) {
     /* Publish results */
     stage("publish") {
       timeout(time: 10, unit: 'MINUTES') {
@@ -165,8 +165,9 @@ catchError {
             dir("$WORKSPACE_TMP/gh-pages") {
               def subdir = "$projectName/${env.BRANCH_NAME}"
               def ghp = scmGit(branches: [[name: 'refs/heads/master']],
+                extensions: [cloneOption(shallow: true, depth: 1, noTags: true)],
                 userRemoteConfigs: [[credentialsId: 'github-jenkins', url: 'https://github.com/TRIQS/TRIQS.github.io.git']])
-              checkout scm: ghp, changelog: false
+              checkout scm: ghp, changelog: false, poll: false
               sh "rm -rf ${subdir}"
               def installDir = "$installBase/install/$JOB_NAME/$documentationPlatform"
               sh """#!/bin/bash -ex
@@ -185,7 +186,7 @@ catchError {
                 try {
                   def pkg = scmGit(branches: [[name: "refs/heads/${env.BRANCH_NAME}"]],
                     userRemoteConfigs: [[credentialsId: 'github-jenkins', url: 'https://github.com/TRIQS/packaging.git']])
-                  checkout scm: pkg, changelog: false
+                  checkout scm: pkg, changelog: false, poll: false
                   sh """#!/bin/bash -ex
                     dir="$projectName"
                     [[ -d triqs_\$dir ]] && dir=triqs_\$dir || [[ -d \$dir ]]