diff options
| -rw-r--r-- | .gitignore | 15 | ||||
| -rw-r--r-- | .gitreview | 4 | ||||
| -rw-r--r-- | jenkins.ini.example | 12 |
3 files changed, 31 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000..96b3329fe --- /dev/null +++ b/.gitignore @@ -0,0 +1,15 @@ +# Ignore Vim temporary files +.*.sw? + +# Ignore changes to the JJB Configuration File +jenkins.ini + +# Maven +target/ + +# Vagrant +.vagrant + +# IntelliJ +.idea/ +*.iml diff --git a/.gitreview b/.gitreview new file mode 100644 index 000000000..41b8de517 --- /dev/null +++ b/.gitreview @@ -0,0 +1,4 @@ +[gerrit] +host=gerrit.projectrotterdam.info +port=29418 +project=ci-management.git diff --git a/jenkins.ini.example b/jenkins.ini.example new file mode 100644 index 000000000..c8486f89a --- /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 |