website can't find gitweb.torproject.org repositories even though it has been scraped

This page:

https://archive.softwareheritage.org/browse/search/?q=gitweb.torproject.org&with_visit=true&with_content=true&visit_type=git

says:

No origins matching the search criteria were found.

Yet I know for a fact that site was crawled! It's one of the reasons there's a gitweb crawler in the first place (swh/meta#5047 (closed)). It was first scraped in 2023, 7 months ago: swh/infra/sysadm-environment#4939 (closed)

The trick is the git clone URLs are elsewhere, which is a naughty trick our site uses, unfortunately. You can actually see the crawls here:

https://archive.softwareheritage.org/browse/search/?q=git.torproject.org&visit_type=git&with_content=true&with_visit=true

@pabs suggested I file this as an issue - perhaps there's some redirect that could be done somehow?

Not sure this is the right place to file this either, but either way, million thanks for the awesome work you do!