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

Richard Laager rlaager at
Mon Mar 26 14:28:47 UTC 2018

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 \

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 \

Make sure pulling does not give an error:

git pull


More information about the devel mailing list