Merge branch 'es/git-debugger-doc' into maint

Doc update. * es/git-debugger-doc: doc: hint about GIT_DEBUGGER in CodingGuidelines

Junio C Hamano committed Jul 25, 2019 at 14:27 UTC 24c161ddd6f614d27a12eebd53c9476cfb87c0ab

No changes.