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