git clone https://codeberg.org/decke/ports.git repo.git Cloning into 'repo.git'... git -C "repo.git" -c advice.detachedHead=false checkout 24ed64410d0ef78541beec4ea970bb2d6244dbb9 portlint -A repo.git/dns/dnscontrol HEAD is now at 24ed644 dns/dnscontrol: Update to 4.31.1 looks fine.