git clone https://codeberg.org/decke/ports.git repo.git Cloning into 'repo.git'... git -C "repo.git" -c advice.detachedHead=false checkout e40e42e4c5d68f582d7e37c4b36bc18530d32b1d portlint -A repo.git/multimedia/kodi-addon-inputstream.adaptive HEAD is now at e40e42e multimedia/kodi-addon-inputstream.adaptive: Update to 22.3.6 looks fine.