Add 1.3.0 job for Portal-Docker

[ci-management.git] / jenkins.ini.example

diff --git a/jenkins.ini.example b/jenkins.ini.example
index c8486f8..959f06b 100644 (file)
--- a/jenkins.ini.example
+++ b/jenkins.ini.example
@@ -5,6 +5,7 @@ include_path=.:scripts:~/git/
 recursive=True
 
 [jenkins]
+query_plugins_info=False
 #user=jenkins
 #password=1234567890abcdef1234567890abcdef
 url=http://localhost:8080