Hacker News new | ask | show | jobs
by detaro 4067 days ago
It stops you from forgetting to do that. Especially for small, quick things like spell-fix PRs to random github projects it has happened to me that I forgot to set the right user before making and publishing commits.