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 c7c020b3acf209f16856c8b3f7db2e6a4c15d89e portlint -A repo.git/dns/dnscontrol HEAD is now at c7c020b dns/dnscontrol: Update to 4.37.0 looks fine.