Re: [git-users] Discard any change of a repository

2018-03-12 Thread Michael
On 2018-03-12, at 4:11 AM, Frank Röhm wrote: > Hallo > > sometimes it happens to me, that I clone a repo from my github account and do > some little but unnecessary changes, just to play a bit. > I want to discard them all now and surely I don't want to do any merge.

[git-users] Discard any change of a repository

2018-03-12 Thread Frank Röhm
Hallo sometimes it happens to me, that I clone a repo from my github account and do some little but unnecessary changes, just to play a bit. I want to discard them all now and surely I don't want to do any merge. I just want to reset the local repo to the actual online state. The only easy