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