Re: Trouble with git reset in my pushtree

[Ilmari Lauhakangas <ilmari.lauhakangas@xxxxxxxxxxxxxxx>]

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?

Ilmari