Branch: refs/heads/master
Home: https://github.com/jenkins-infra/jenkins.io
Commit: 27cede16d980b6b3edb52d4cc4d742057817f0fe
https://github.com/jenkins-infra/jenkins.io/commit/27cede16d980b6b3edb52d4cc4d742057817f0fe
Author: Andrew Bayer <andrew.ba...@gmail.com>
Date: 2018-10-01 (Mon, 01 Oct 2018)
Changed paths:
M content/doc/book/pipeline/syntax.adoc
Log Message:
-----------
Add `args` to list of common-to-multiple-agent-types options.
Also add `args` to the example for `dockerfile` just to be safe. =)
Commit: 88e6bec5521dcbcb0d6a04dd31036cb8b75c80fa
https://github.com/jenkins-infra/jenkins.io/commit/88e6bec5521dcbcb0d6a04dd31036cb8b75c80fa
Author: R. Tyler Croy <ty...@monkeypox.org>
Date: 2018-10-01 (Mon, 01 Oct 2018)
Changed paths:
M content/doc/book/pipeline/syntax.adoc
Log Message:
-----------
Merge pull request #1805 from abayer/add-args-to-dockerfile-doc
Add `args` to list of common-to-multiple-agent-types options.
Compare:
https://github.com/jenkins-infra/jenkins.io/compare/4227615f2732...88e6bec5521d
**NOTE:** This service has been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
--
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.
