Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: git pull failed

X-seq: zsh-workers 34869
From: Han Pingtian <hanpt@xxxxxxxxxxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: Re: git pull failed
Date: Fri, 10 Apr 2015 09:16:20 +0800
In-reply-to: <CAHYJk3RfyGxQ5asmH45s_qBw-a6b8woh00G5NmBVa6Q2b2mf+A@mail.gmail.com>
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
Mail-followup-to: zsh-workers@xxxxxxx
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
References: <20150409070233.GI2805@localhost.localdomain> <CAHYJk3RfyGxQ5asmH45s_qBw-a6b8woh00G5NmBVa6Q2b2mf+A@mail.gmail.com>

On Thu, Apr 09, 2015 at 09:51:49AM +0200, Mikael Magnusson wrote:
> I guess someone did a push -f, which they definitely should not be
> doing on a public repo. You were unlucky and pulled the commit that
> was since deleted. You can get back to a normal state by issuing
> git reset --hard origin/master
> (this will delete any committed or uncommited changes you have on the
> local master branch).
Thanks! It works just fine.

References:
- git pull failed
  - From: Han Pingtian
- Re: git pull failed
  - From: Mikael Magnusson

Messages sorted by: Reverse Date, Date, Thread, Author