Re: VC mode and git

[Eli Zaretskii]

> Date: Mon, 06 Apr 2015 01:50:42 -0400
> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden
> 
>   >   I thought Richard was contemplating the idea of cloning
>   > a fresh repository every time he wanted to push some changes, so my
>   > reaction was to that possibility, not to a one-time fix.
> 
> Yes, that was what I was thinking my recourse would have to be.
> However, perhaps 'git reset --hard HEAD' is equivalent to that.
> It worked this time.  Whether it will work in general, I don't know.

It should work in general, but I hope you will never again get
yourself into the kind of mess you had this time.

I hope the improved instructions on the Wiki will keep you and others
from that trouble.