current state: running reached target state: running git clone https://codeberg.org/decke/ports.git repo.git Cloning into 'repo.git'... git -C "repo.git" -c advice.detachedHead=false checkout 15e2d01ee2e44fe351ba5cebcadd27452d2b70c4 HEAD is now at 15e2d01 ports-mgmt/caronade: Update to 0.8.0 portlint -A repo.git/ports-mgmt/caronade looks fine.