On Tue, Mar 7, 2017 at 7:30 PM, Stefan Beller <sbel...@google.com> wrote:
> Although the following are included in git.git repository, they have their > own authoritative repository and maintainers: Thanks. I continuously get confused by this fact. -- Sebastian Schuberth