From c184bf7e715e52f138b5e3809bd65a9294b23d8b Mon Sep 17 00:00:00 2001 From: Robert Treat Date: Tue, 12 Aug 2025 18:11:40 -0400 Subject: [PATCH v1 1/2] Remove git from the acronyms section, since it is not one. Add entry in the index, pointing towards our repo info. Content-Type: text/patch; charset="utf-8" --- doc/src/sgml/acronyms.sgml | 10 ---------- doc/src/sgml/sourcerepo.sgml | 2 ++ 2 files changed, 2 insertions(+), 10 deletions(-) diff --git a/doc/src/sgml/acronyms.sgml b/doc/src/sgml/acronyms.sgml index 2f906e9f018..511c7fd1a5d 100644 --- a/doc/src/sgml/acronyms.sgml +++ b/doc/src/sgml/acronyms.sgml @@ -273,16 +273,6 @@ - - Git - - - Git - - - - GMT diff --git a/doc/src/sgml/sourcerepo.sgml b/doc/src/sgml/sourcerepo.sgml index 6c13c5a30cd..3ecb4cd7f76 100644 --- a/doc/src/sgml/sourcerepo.sgml +++ b/doc/src/sgml/sourcerepo.sgml @@ -3,6 +3,8 @@ The Source Code Repository + Git + The PostgreSQL source code is stored and managed using the Git version control system. A public -- 2.24.3 (Apple Git-128)