From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 10 May 2016 07:16:29 GMT
Subject: Re: What's cooking in git.git (May 2016, #02; Fri, 6)
Message-ID: <xmqq37pqs7qq.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <B50A244E-05FE-48FF-9C9B-ED7AE35C5C7C@gmail.com>

Lars Schneider <larsxschneider@gmail.com> writes:

>> On 07 May 2016, at 00:46, Junio C Hamano <gitster@pobox.com> wrote:
>> 
>> [...]
>> 
>> 
>> * jc/doc-lint (2016-05-04) 2 commits
>> - Documentation: fix linkgit references
>> - ci: validate "gitlink:" in documentation
>
> The first patch "Documentation: fix linkgit references" seems not
> to be on the jc/doc-lint branch?

* jc/linkgit-fix (2016-05-09) 1 commit
 - Documentation: fix linkgit references

 Many 'linkgit:<git documentation page>' references were broken,
 which are all fixed with this.

I didn't want to keep the documentation fix hostage of the linter
improvements.  The linter implementation I am not entirely happy
with, but it did its job well enough that the broken references have
been (hopefully all) identified, and I queued the fix separately.