Help! Git disaster!

[Edward Z. Yang]

Hello all,

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
channel #ghc?

Cheers,
Edward