rm -rf /usr/local/caronade/work/portlint.default/repo.git
git clone https://github.com/decke/ports.git /usr/local/caronade/work/portlint.default/repo.git
Cloning into '/usr/local/caronade/work/portlint.default/repo.git'...
git -C "/usr/local/caronade/work/portlint.default/repo.git" -c advice.detachedHead=false checkout 282e3881005b063fbf46442a6c96c242289b25c1
HEAD is now at 282e388 net/mosquitto: Add port from upstream

portlint -A /usr/local/caronade/work/portlint.default/repo.git/net/mosquitto
looks fine.
rm -rf /usr/local/caronade/work/portlint.default/repo.git