I wonder if that broke the Git mirror... On Thu, Aug 14, 2008 at 6:17 PM, Malcolm Wallace <[EMAIL PROTECTED]> wrote: > Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > >> Bother! I did not mean to push the patch below. >> Can someone who knows what they are doing expunge it from the HEAD >> repo and tell me what actions I need to take at this end? > > Although the usual policy is not to permit "unpull"s on the main repo, I > have unpulled this patch anyway. If anyone (or any buildbot) has pulled > this patch in the meantime, they should unpull it manually from their > own repo. I hope this does not inconvenience anyone too much. > > Simon: you only need to amend-record your patch and push it again when > it is correct. > > Regards, > Malcolm > > _______________________________________________ > Cvs-ghc mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/cvs-ghc >
_______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
