Help! Git disaster!
Edward Z. Yang
ezyang at MIT.EDU
Thu Apr 14 17:57:51 CEST 2011
The remote repository has been reset to 9eebc6dec9a2271a5179, removing
the two merge commits that Simon pushed. If you do not have any commits
more recent then that in your working copy, you don't have to worry about this.
Simon, it will be a bit tricky to walk you through resetting the repo
over email; can we by any chance convince you to join us on irc.freenode.net
More information about the Cvs-ghc