Started on Dec 14, 2022, 11:56:00 PM Using strategy: Default [poll] Last Built Revision: Revision 013a0e1d4fbdb8b3bf8ff7ee2272232aea995142 (refs/remotes/origin/master) The recommended git tool is: git using credential github-bot > git --version # timeout=10 > git --version # 'git version 2.20.1' using GIT_ASKPASS to set credentials GitHub bot (username/token) > git ls-remote -h -- https://github.com/eclipse/ditto-clients.git # timeout=10 Found 9 remote heads on https://github.com/eclipse/ditto-clients.git [poll] Latest remote head revision on refs/heads/master is: 218210fff5d7b1f52aaacedee52835d7842bcc50 ERROR: no such computer basic-t4bxs Done. Took 0.4 sec Changes found