diff options
| author | Matt Rendina <rendinam@users.noreply.github.com> | 2017-06-13 10:01:29 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-13 10:01:29 -0400 |
| commit | 38f9db0d11fb512449196b3cb52b40ee060541a9 (patch) | |
| tree | 17b06cf139d478157b0908f62231b9bf6d4a46b7 /jenkins/version_pins.yml | |
| parent | eb16bc4d7aeb00e77e8c1f130243bac1fb9b55fa (diff) | |
| parent | efac703de5f64218c992746218149affadc92726 (diff) | |
| download | build_control-38f9db0d11fb512449196b3cb52b40ee060541a9.tar.gz | |
Merge pull request #16 from rendinam/prop_repo
Propagate repo and branch names to all job logs
Diffstat (limited to 'jenkins/version_pins.yml')
0 files changed, 0 insertions, 0 deletions