IMPORTANT: accidental force push in master
marlowsd at gmail.com
Thu Sep 27 10:04:18 CEST 2012
On 27/09/2012 09:00, Johan Tibell wrote:
> On Thu, Sep 27, 2012 at 3:12 AM, Ilya Sergey <ilya.sergey at cs.kuleuven.be> wrote:
>> Do not pull master!!
>> I think, I messed up terribly by making a "force" git push into master.
>> As a result, the commit history since 21 august was lost.
>> Could someone, please, restore the history by push a right commit history
>> since then.
>> I am very sorry for this.
> Someone might be able to recover the lost commits directly from the GHC repo by
> 1. Logging into the machine
> 2. Taking a copy of the whole repo
> 3. Using the git reflog to undo the push
> This will only work if git gc hasn't been run on the repo.
I just did this, resetting to the previous entry in the reflog, which
was Edward's patch:
Author: Edward Z. Yang <ezyang at mit.edu>
Date: Mon Sep 17 18:28:49 2012 +0200
Partially fix #367 by adding HpLim checks to entry with
I think we're ok now, I've also mirrored to github and it looks ok there
Ilya - did you push to any branches other than master?
More information about the Cvs-ghc