--- a/Jenkinsfile	Tue Sep 19 11:09:57 2017 +0000
+++ b/Jenkinsfile	Tue Sep 19 15:46:15 2017 +0100
@@ -32,9 +32,9 @@
             sshagent([ scm.getCredentialsId() ]) {
                 sh  """
                     if [ -f pipeline.groovy ]; then
-                        hg pull ${scm.getSource()}
+                        hg pull --ssh ssh ${scm.getSource()}
                     else
-                        hg clone ${scm.getSource()} .
+                        hg clone --ssh ssh ${scm.getSource()} .
                     fi
                     hg up ${branch()}
                     """