On Wed, Sep 10, 2008 at 1:17 PM, Ian Lynagh <[EMAIL PROTECTED]> wrote: > I'm a little worried by the success...
The trickier part is the sync-script, but I use a lock for that and it will fail (and did so before) if it cannot obtain this lock. Due to Git's SHA-1 checksums, I'm fairly certain that a successful push is indeed successful. The message sounds like it was part of a script that updates the remote ref and is only a very small race. I.e., it will only lead to problems if two pushes happen at almost exactly the same time. Nevertheless, we should fix it. / Thomas _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
