Re: [PATCH v3] repo: add paths.toplevel to repo info | The Git List