nominolo at googlemail.com
Wed Sep 10 10:55:27 EDT 2008
On Wed, Sep 10, 2008 at 1:17 PM, Ian Lynagh <igloo at earth.li> 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.
More information about the Cvs-ghc