From e687253fa86bbc36126090dd3f24ad8c9bfc6975 Mon Sep 17 00:00:00 2001
From: Otto Liljalaakso <otto.liljalaakso@iki.fi>
Date: Sep 27 2022 19:56:15 +0000
Subject: Add Sourcegraph link


Sourcegraph.com has indexed all dist-git repositories at
src.fedoraproject.org.
Their search function can be useful for packagers.

---

diff --git a/modules/ROOT/pages/index.adoc b/modules/ROOT/pages/index.adoc
index 91d3a31..9d87ba1 100644
--- a/modules/ROOT/pages/index.adoc
+++ b/modules/ROOT/pages/index.adoc
@@ -79,6 +79,9 @@ at a single place in an easy to read and filter way.
 * https://fedoraproject.org/wiki/Test_Machine_Resources_For_Package_Maintainers[Test Machines]
 — Contributed servers for test, mock build, compile or debug packages before submitting to koji
 
+* https://sourcegraph.com/search?q=context:global+repo:^src\.fedoraproject\.org/rpms/.*%24[Sourcegraph]
+— Search across all dist-git repositories.
+
 [#important_mailing_lists]
 === Important Mailing Lists