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 1875508e7c7b76d85a3e824e577684297f35af9b portlint -A repo.git/www/vikunja HEAD is now at 1875508 www/vikunja: Make portfmt/portclippy happy looks fine.