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 88d6e64b2807c3387327dc9a53c59d7fda3d25ab HEAD is now at 88d6e64 databases/php-pdo_sqlsrv: Add patch depends portlint -A repo.git/databases/php-pdo_sqlsrv looks fine.