doc: Add index entry for Git. This commit adds Git to the documentation index, pointing to the source code repository documentation.
Author: Robert Treat <[email protected]> Reviewed-by: Fujii Masao <[email protected]> Discussion: https://postgr.es/m/CABV9wwPQnkeo_G6-orMGnHPK9SXGVWm7ajJPzsbE6944tDx=h...@mail.gmail.com Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/466347ad28d858ff49b36b9a5b1e98ea9ce5d58c Modified Files -------------- doc/src/sgml/sourcerepo.sgml | 2 ++ 1 file changed, 2 insertions(+)
