Trouble with git reset in my pushtree

[Laurent Balland]

Thanks for your answers, but I found the root cause which was (as 
always) located between the chair and the keyboard.

My batch file was using "./g reset --hard origin/master" instead of 
"git...". Reverting to the right command solved my problem.

Sorry for the noise.

Laurent

Le 28/07/2024 à 10:40, Ilmari Lauhakangas a écrit :
> On 28.7.2024 11.25, Laurent Balland wrote:
>> Hi,
>>
>> I've got a push tree since several years, and it changed its behavior 
>> a few weeks ago:
>>
>> git reset --hard origin/master
>>
>> now preserve my changes. Which option should I use to discard all my 
>> changes?
>
> In the .git/config file of LibreOffice source code, what is the value 
> of url in the [remote "origin"] block?
     url = https://gerrit.libreoffice.org/core

>
> Ilmari
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/libreoffice/attachments/20240728/54805118/attachment.htm>