Instead of `user.mail` , the `git config` option is `user.email`
Instead of
user.mail, thegit configoption isuser.email