Learn more about these different git repos.
Other Git URLs
e37ea15
Fix stats for commits without author Fixes: #3196