Trouble with git reset in my pushtree

[Laurent Balland]

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?

Thanks

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