On Tue, Mar 7, 2017 at 7:30 PM, Stefan Beller <sbeller@xxxxxxxxxx> 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