Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
doc: adds options for cpp linting to help section of Windows build script #11992
Also your name in git is currently:
People usually choose to use their full names for commits. To set your name globally you can do:
git config --global user.name "Morgan Brenner"
To change the author and commit message you can do:
git commit --amend --author="Morgan Brenner <firstname.lastname@example.org>" # Edit commit message when it pops up git push --force-with-lease