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 e2f58ce57986c07c3ddca8c89d2998b80e66a2bb portlint -A repo.git/mail/tarpitd HEAD is now at e2f58ce mail/tarpitd: Move comment to a better place looks fine.