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 dc1411db5610f89fee207e19d1a687b8efa5033d HEAD is now at dc1411d www/mattermost-server: Update to 11.7.9 portlint -A repo.git/www/mattermost-server looks fine.