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