chore(worker): Prometheus metrics for repo index manager#571

brendan-kellam merged 3 commits intomainsourcebot-dev/sourcebot:mainfrom

bkellam/repo_index_manager_prom_metricssourcebot-dev/sourcebot:bkellam/repo_index_manager_prom_metricsCopy head branch name to clipboard