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 97916775b76bde5448f1a677f4808c52b4b540ad HEAD is now at 9791677 devel/p5-Linux-Inotify2: Add new port portlint -A repo.git/devel/p5-Linux-Inotify2 looks fine.