Re: My git pull is broken

2018-08-24 Thread James Browning via devel
On Fri, Aug 24, 2018, 5:11 PM Hal Murray via devel  wrote:

> > 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.
>
I was going to say that there appeared to be no notes the main repo or
several others I checked. I guess no there will be two unless I remove mine
before it spreads.

>
___
devel mailing list
devel@ntpsec.org
http://lists.ntpsec.org/mailman/listinfo/devel


Re: My git pull is broken

2018-08-24 Thread Hal Murray via devel
> 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.



___
devel mailing list
devel@ntpsec.org
http://lists.ntpsec.org/mailman/listinfo/devel


Re: My git pull is broken

2018-08-24 Thread Richard Laager via devel
On 08/24/2018 05:46 PM, Hal Murray via devel wrote:
> What does this mean?
>   fatal: Couldn't find remote ref refs/notes/commits
>   fatal: The remote end hung up unexpectedly
> 
> It was working in late July.

Did the history rewriting trash the notes or something?

On that topic, git notes are definitely a lesser known feature, so
perhaps the pragmatic answer is to skip using them.

-- 
Richard
___
devel mailing list
devel@ntpsec.org
http://lists.ntpsec.org/mailman/listinfo/devel