Re: git pull not replicating?

> On 18. Jun 2022, at 22:25, Andy Farkas <andyf@andyit.com.au> wrote:
> 
> 
> Thank you Michael and Mark, you have increased my understanding of git
> such that it now makes a bit more sense of what is going on. The many
> many git manpages I find hard to comprehend. (what does <tree-ish>
> supposed to mean?)

See top answer here: https://stackoverflow.com/questions/4044368/what-does-tree-ish-mean-in-git

> …
> I'm a mere mortal user... although I was once listed in the now
> non-existent FreeBSD 'Contributors' web page...
> …


The contributors page still exists and you’re still on it:

https://docs.freebsd.org/en/articles/contributors/

Cheers
Michael


> 
>> # git -C /usr/ports reset --hard HEAD
>> 
>> would destroy any deliberate changes to things
>> in your /usr/ports tree.
> 
> Bingo!  This is what I'm after.
> 
>> git is biased to on-going development and so expects
>> to deal with differences being involved in the local
>> directory tree. It is extra work to be sure no
>> differences occur or to remove the differences when
>> unintended ones show up. It is not automatic.
> 
> There ya go..
> 
> Thanks again,
> 
> -andyf
> 
>