Starting ...git clone https://codeberg.org/decke/ports.git repo.git Cloning into 'repo.git'... git -C "repo.git" -c advice.detachedHead=false checkout 1d7755c78c65e58671f5b315517ebc777d9aa009 HEAD is now at 1d7755c multimedia/dtv-scan-tables: Update to 2025-06-09 portlint -A repo.git/multimedia/dtv-scan-tables looks fine.