From: Jeff King Date: Sat, 16 Jul 2022 22:49:47 GMT Subject: Re: [PATCH v2] config.txt: document include, includeIf Message-ID: In-Reply-To: On Sat, Jul 16, 2022 at 08:13:43PM +0000, Manuel Boni via GitGitGadget wrote: > Update 2022-07-16: I addressed the suggestions by Jeff King and Junio C. > Hamano by integrating their fixes and by rewording the commit message, > so that emphasis is put on the documentation enhancement and mentioning > the improved tab completion as a beneficial side effect. Thanks. This version looks OK to me. -Peff