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 871fd70e591c31e222bc2945893739d343029710 HEAD is now at 871fd70 security/rauthy: Add UID/GID 845 for rauthy and a few portlint fixes portlint -A repo.git/security/rauthy looks fine.