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