Re: [PATCH] tools: docker: Drop the git user name and email configuration