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 69888c01f8c7b636037859027397a1490f358bc7 HEAD is now at 69888c0 www/radicale: Make portfmt and portclippy happy portlint -A repo.git/www/radicale looks fine.