sp193
commented
6 years ago If you need instructions for changing your e-mail and name: https://stackoverflow.com/questions/3042437/how-to-change-the-commit-author-for-one-specific-commit If it is just the most recent commit that you need to correct, you just need to issue that git commit --amend command as shown.
After you correct the commit, you have to (force) push it to your repository:
git push -f
Github will automatically update your pull request.
Fixed broken examples Makefile.global and hires/Makefile after the Makefile cleanup in commit 3efa030f4acae8c1c5addd9190c227015b3db25e
Sorry about before, I was getting annoyed with the git command-line. I didn't like all the additional and duplicate commits so I just closed it and started over.