current state: running reached target state: running git clone https://codeberg.org/decke/ports.git repo.git Cloning into 'repo.git'... Updating files: 100% (202/202), done. git -C "repo.git" -c advice.detachedHead=false checkout 39f4f37fecaf2e43fd63a0d760ffc7fb72b92e18 HEAD is now at 39f4f37 multimedia/kodi-addon-inputstream.adaptive: Update to 22.3.9 portlint -A repo.git/multimedia/kodi-addon-inputstream.adaptive looks fine.