Started by timer
[Sun Jun 02 09:56:09 EDT 2024] Starting branch indexing...
09:56:09 Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/lsp4e
Checking branches...
Getting remote branches...
Checking branch main
Getting remote pull requests...
‘Jenkinsfile’ found
Met criteria
No changes detected: main (still at beb93630e21cf59fcac42ce247b33ca16d796806)
Checking branch 0.5.x
‘Jenkinsfile’ not found
Does not meet criteria
2 branches were processed
Checking pull-requests...
Checking pull request #1009
‘Jenkinsfile’ found
Met criteria
No changes detected: PR-1009 (still at 562fd0c8a6c384f14bd2c934ecc0b25cd2405e0d+beb93630e21cf59fcac42ce247b33ca16d796806 (2d30a3b03649665a9a6cb20db34fb4f50849aeab))
1 pull requests were processed
Finished examining eclipse/lsp4e
[Sun Jun 02 09:56:10 EDT 2024] Finished branch indexing. Indexing took 1.6 sec
Evaluating orphaned items in lsp4e-github
Will not remove PR-762 as lsp4e-github » PR-762 #1 is still in progress
Finished: SUCCESS