Re: [PATCH] CI: Make more use of git safe.directory