Started by user Frederic Gurr [Thu Jun 22 15:48:20 EDT 2023] Starting branch indexing... Connecting to https://api.github.com using GitHub bot (username/token) Examining EclipseFdn/projects-bots-api Checking branches... Getting remote branches... Checking branch master Getting remote pull requests... ‘Jenkinsfile’ found Met criteria Scheduled build for branch: master Checking branch improve_gen_bot_db Checking branch regen_deploy_scripts 3 branches were processed Checking pull-requests... 0 pull requests were processed Finished examining EclipseFdn/projects-bots-api [Thu Jun 22 15:48:24 EDT 2023] Finished branch indexing. Indexing took 3.5 sec Finished: SUCCESS