mirror of
https://github.com/postgres/postgres.git
synced 2026-01-26 09:41:40 +03:00
doc: Add index entry for Git.
This commit adds Git to the documentation index, pointing to the source code repository documentation. Author: Robert Treat <rob@xzilla.net> Reviewed-by: Fujii Masao <masao.fujii@gmail.com> Discussion: https://postgr.es/m/CABV9wwPQnkeo_G6-orMGnHPK9SXGVWm7ajJPzsbE6944tDx=hQ@mail.gmail.com
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user