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 3d62b4e6f5217cc629d09d21da9542d089deae41
HEAD is now at 3d62b4e */*: Remove all created by notes in Makefiles

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