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 7a85b58d442eb9a00d06669214587c5a60d358cf HEAD is now at 7a85b58 www/mattermost-webapp: Update to 10.11.12 portlint -A repo.git/www/mattermost-webapp looks fine.