On Thu, Nov 25, 2021 at 07:41:52PM +0100, Pavel Raiskup wrote:
Details here:
https://docs.sourcegraph.com/admin/repo/update_frequency
Yeah, less good. :)
The next thing I want to do is actually index all of the sources
corresponding to each build. That's going to be require some effort on our
side, though.
--
Matthew Miller
<mattdm(a)fedoraproject.org>
Fedora Project Leader