diff options
author | Andrew Grimberg <agrimberg@linuxfoundation.org> | 2015-11-19 14:55:41 -0800 |
---|---|---|
committer | Andrew Grimberg <agrimberg@linuxfoundation.org> | 2015-11-19 14:57:09 -0800 |
commit | 883d77c5c804b0f1e9f1370c89f8fe38672188b5 (patch) | |
tree | 8427e35613e3606e3c07c9ffa375806cf4da3157 /jenkins.ini.example | |
parent | 5d4e185e58f2b98b503c44e63ba8c46f46661238 (diff) |
Initial code checkin
Initial bootstrapping of the ci-management repo
Change-Id: I66d18adf113f8087c46ab1b4f9aedcb81ee1e9aa
Signed-off-by: Andrew Grimberg <agrimberg@linuxfoundation.org>
Diffstat (limited to 'jenkins.ini.example')
-rw-r--r-- | jenkins.ini.example | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/jenkins.ini.example b/jenkins.ini.example new file mode 100644 index 00000000..c8486f89 --- /dev/null +++ b/jenkins.ini.example @@ -0,0 +1,12 @@ +[job_builder] +ignore_cache=True +keep_descriptions=False +include_path=.:scripts:~/git/ +recursive=True + +[jenkins] +#user=jenkins +#password=1234567890abcdef1234567890abcdef +url=http://localhost:8080 +##### This is deprecated, use job_builder section instead +#ignore_cache=True |