diff options
author | 2014-04-20 14:17:57 -0400 | |
---|---|---|
committer | 2014-04-20 14:17:57 -0400 | |
commit | 7ed6a5520cee91fc9ccd6105e938a3dd7b88dca0 (patch) | |
tree | c27033b5670cd1db318038055a95239f12a38540 /ghci | |
parent | 91bd27cad38f58c81bb50dbf7d37cc792937463b (diff) |
When init detects that git is not configured to commit, and sets user.email to work around the problem, also make it set user.name.
I was able to reproduce git failing to commit despite user.email being set,
in a test account on my laptop. The account had no GECOS information.
Diffstat (limited to 'ghci')
0 files changed, 0 insertions, 0 deletions