Starting ...git clone https://codeberg.org/decke/ports.git repo.git
Cloning into 'repo.git'...
git -C "repo.git" -c advice.detachedHead=false checkout 5a2f2b0b8b5d593c18316d0c78b6b25870a2b4c3
HEAD is now at 5a2f2b0 databases/pg-safeupdate: Add port

portlint -A repo.git/databases/pg-safeupdate
looks fine.