Re: IMPORTANT: accidental force push in master
Johan Tibell <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <CAK-tuPZTeYxNDMta1+QKgUAuAFMb4JTWqJwFRXChVBYbt_fEyA@mail.gmail.com> |
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.