Started by timer
[Mon May 20 15:53:07 EDT 2024] Starting branch indexing...
Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse-edapt/edapt

  Checking branches...

  Getting remote branches...

    Checking branch master

    Checking branch 12x

    Checking branch 13x

    Checking branch 14x

    Checking branch 15x

    Checking branch develop

    Checking branch hotfix_1.0.1

    Checking branch hotfix_1.1.1

    Checking branch maintenance

    Checking branch rcptt

    Checking branch release_1.0.0

    Checking branch release_1.1.0

    Checking branch topic_cdo

    Checking branch topic_compare_upgrade

  14 branches were processed

  Checking pull-requests...

  Getting remote pull requests...

  0 pull requests were processed

Finished examining eclipse-edapt/edapt

[Mon May 20 15:53:07 EDT 2024] Finished branch indexing. Indexing took 0.77 sec
Finished: SUCCESS