Learn more about these different git repos.
Other Git URLs
e6d3c15
Make a tiny query. Here, we don't actually process the results of the query beyond looking for the `total` integer that is reported. This should speed things up, and get us around some of these [504 gateway timeouts](https://http.cat/504).