How do I fix a typo in a git commit comment?

[Richard Laager]

On 03/25/2018 07:28 PM, Hal Murray wrote:
> That gives me a local note, but git push doesn't do anything and git clone 
> doesn't copy it.
>From some Googling...

This should make notes push by default:

git config --add remote.origin.push \
    '+refs/notes/commits:refs/notes/commits'

Since this is the first set of notes, push them:
git push

Then setup to pull them by default:

git config --add remote.origin.fetch \
    '+refs/notes/commits:refs/notes/commits'

Make sure pulling does not give an error:

git pull

-- 
Richard