On Thu, Sep 27, 2012 at 3:12 AM, Ilya Sergey <[email protected]> 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. _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
