Trouble with git reset in my pushtree

[Laurent Balland <laurent.balland@xxxxxxxx>]

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