v2-0001-Add-Git-to-the-index-pointing-towards-repo-info.patch

From c635f54f30fe71c98c243cb895051f04ea04210e Mon Sep 17 00:00:00 2001
From: Robert Treat <rob@xzilla.net>
Date: Tue, 12 Aug 2025 18:11:40 -0400
Subject: [PATCH v2 1/2] Add Git to the index, pointing towards repo info.
Content-Type: text/plain; charset="utf-8"

---
 doc/src/sgml/sourcerepo.sgml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/src/sgml/sourcerepo.sgml b/doc/src/sgml/sourcerepo.sgml
index f4368e83ab3..b9ea59ae329 100644
--- a/doc/src/sgml/sourcerepo.sgml
+++ b/doc/src/sgml/sourcerepo.sgml
@@ -3,6 +3,8 @@
 <appendix id="sourcerepo">
  <title>The Source Code Repository</title>
 
+ <indexterm zone="sourcerepo"><primary>Git</primary></indexterm>
+
  <para>
   The <productname>PostgreSQL</productname> source code is stored and managed
   using the <productname>Git</productname> version control system. A public
-- 
2.24.3 (Apple Git-128)