Branch: refs/heads/master
Home: https://github.com/jenkins-infra/jenkins.io
Commit: 8ebe33c36637fe406a57f70d63e8dcebc8117879
https://github.com/jenkins-infra/jenkins.io/commit/8ebe33c36637fe406a57f70d63e8dcebc8117879
Author: Daniel Beck <daniel-b...@users.noreply.github.com>
Date: 2017-02-09 (Thu, 09 Feb 2017)
Changed paths:
M Jenkinsfile
Log Message:
-----------
Set pipefail
Commit: acb73e893690e3044419ef245da3c9c2688f410f
https://github.com/jenkins-infra/jenkins.io/commit/acb73e893690e3044419ef245da3c9c2688f410f
Author: Daniel Beck <daniel-b...@users.noreply.github.com>
Date: 2017-02-09 (Thu, 09 Feb 2017)
Changed paths:
M Jenkinsfile
Log Message:
-----------
Add shebang line
Commit: 480a28d36ad81dc32b7170382b81ab32e2e70a26
https://github.com/jenkins-infra/jenkins.io/commit/480a28d36ad81dc32b7170382b81ab32e2e70a26
Author: Daniel Beck <daniel-b...@users.noreply.github.com>
Date: 2017-02-09 (Thu, 09 Feb 2017)
Changed paths:
M Jenkinsfile
Log Message:
-----------
Shebang needs to be on top
Commit: cf47e2b997329ca8fefaeb5f7155ee6d9f3d4f9a
https://github.com/jenkins-infra/jenkins.io/commit/cf47e2b997329ca8fefaeb5f7155ee6d9f3d4f9a
Author: Daniel Beck <daniel-b...@users.noreply.github.com>
Date: 2017-02-09 (Thu, 09 Feb 2017)
Changed paths:
M Jenkinsfile
Log Message:
-----------
Set errexit, nounset, and xtrace now that nothing is implicit
Commit: b0d35a31957e888aec72706ddec3ae95d6a80572
https://github.com/jenkins-infra/jenkins.io/commit/b0d35a31957e888aec72706ddec3ae95d6a80572
Author: Daniel Beck <daniel-b...@users.noreply.github.com>
Date: 2017-02-09 (Thu, 09 Feb 2017)
Changed paths:
M Jenkinsfile
Log Message:
-----------
Merge pull request #622 from daniel-beck/pipefail
Don't run in posix mode, set 'strict mode' options
Compare:
https://github.com/jenkins-infra/jenkins.io/compare/b4e8527b8ce5...b0d35a31957e
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-commits+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
