Starting ...git clone https://codeberg.org/decke/ports.git repo.git Cloning into 'repo.git'... git -C "repo.git" -c advice.detachedHead=false checkout 979a7090c4e510920ccac5746f56755a0f25dfd6 HEAD is now at 979a709 dns/dnscontrol: Update to 4.8.2 portlint -A repo.git/dns/dnscontrol looks fine.