git clone https://codeberg.org/decke/ports.git repo.git Cloning into 'repo.git'... git -C "repo.git" -c advice.detachedHead=false checkout f998e3d91c65bd218d78e767a90371d3b32f7da6 portlint -A repo.git/www/radicale HEAD is now at f998e3d www/radicale: Update to 3.5.5 looks fine.