Starting ...Host not visible yet (120) git clone https://codeberg.org/decke/ports.git repo.git Cloning into 'repo.git'... git -C "repo.git" -c advice.detachedHead=false checkout b1a7cd286491269a0bef2b4fc6c90f53f4542246 portlint -A repo.git/dns/dnscontrol HEAD is now at b1a7cd2 dns/dnscontrol: Update to 4.24.0 looks fine.