diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-04-20 14:17:57 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-04-20 14:17:57 -0400 |
| commit | 7ed6a5520cee91fc9ccd6105e938a3dd7b88dca0 (patch) | |
| tree | c27033b5670cd1db318038055a95239f12a38540 /Remote/List.hs | |
| 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 'Remote/List.hs')
0 files changed, 0 insertions, 0 deletions