My git pull is broken

Hal Murray hmurray at
Sat Aug 25 00:11:00 UTC 2018

> Did the history rewriting trash the notes or something?

Thanks.  That's the hint I needed.

I think I created a note (whatever they are) ages ago when I was trying to fix 
a typo in a commit comment.

I had skipped the resync step since I didn't do any pulls during that time.

These are my opinions.  I hate spam.

More information about the devel mailing list