allow specifying which nightly to publish
Merge branch 'master' of git://github.com/lrytz/jenkins-scripts
parametric per-commit
tweak logging
make nightly-publish script parametric
apply renaming of scala-nightly-main to scala-nightly-main-master
Added quotes around echo's arg

thanks @dragos
Set up publication of PR final artifacts to artifactory-online.

This setup is dependent on a $typesafeArtifactoryPasswe environment
variable being passed at build ot builders, using the Jenkins Mask
Passwords plugin:

https://wiki.jenkins-ci.org/display/JENKINS/Mask+Passwords+Plugin
Merge pull request #1 from huitseeker/artifactory-publication

Publish snapshots of PR validation artifacts to typesafe's artifactory.
Revert "Set up publication of PR final artifacts to artifactory-online."

This reverts commit 1f2d8e95e9b4d97a851985f4a9a5235379c7373c.

IT caused

java.lang.NumberFormatException: There was a problem parsing 2.11.075ecb44. Versions should be in the form major[.minor[.revision]] where each part is a positive number, as in 2.10.1. The minor and revision parts are optional.
	at scala.tools.nsc.settings.ScalaVersion$$anonfun$apply$1.apply(ScalaVersion.scala:113)
Set up publication of PR final artifacts to artifactory-online.

This setup is dependent on a $typesafeArtifactoryPasswe environment
variable being passed at build ot builders, using the Jenkins Mask
Passwords plugin:

https://wiki.jenkins-ci.org/display/JENKINS/Mask+Passwords+Plugin
fix artifactory publishing

 - directory for maven artifacts is `dists/maven/latest`
 - the xml for the settings file was wrong, and password masking unwieldy,
   so decided to simply update the ~jenkins/.m2/settings.xml file on the build slaves
Merge pull request #4 from adriaanm/artifactory-publish

Artifactory publish
make publishing configurable from jenkins

it started failing again, need easy way to turn it off
Use sha of validated commit to publish snapshot

Later jobs also know this sha (it's propagated by jenkins),
so that they can easily resolve it. Currently used by IDE validation.

Before, we were using the sha of current HEAD, which is the merge
commit of merging the tested commit into the target branch.
This is not information readily available in downstream jobs, however.
Merge pull request #1 from adriaanm/publish-commit-sha

Publish commit sha