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