build: add REPO_STRIP=<tag> helper to git_fetch
(this is a re-commit since git doesn't like pushes for non-bare
repository with the current branch being pushed also checked out)
build: add REPO_STRIP=<tag> helper to git_fetch
Note that the build system is NOT the reference git repository
and stripping a tag is non-fatal because it will be replicated
from the actual reference.
build: support "obsolete" build target for skimming obsolete ports
This simply scans ${PORTSDIR}/MOVED file for the port at hand.
Our skim doesn't delete used but removed ports but thus we also
fail to see if FreeBSD ports (re)moved it until it breaks for good.
config: replace pymongo shadow copy with correct port
Recent python glue changes broke our shadow copy which used to be
in the FreeBSD ports tree some time ago before it was renamed. As
such it never received updates so eventually it had to break.
Adding this dates back to 2020 and there doesn't appear to be a
visible downstream user so maybe it can be removed but for now just
make the build work again by using the proper port.