Tag: git

Change git user information for all commits

It happened way too many times to push commits without realizing the author information was wrong. To fix it, I…