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 303ee44640032fd548de8f49100e654699c78ec8 portlint -A repo.git/dns/dnscontrol HEAD is now at 303ee44 dns/dnscontrol: Update to 5.7.2 looks fine.