Git problem

[Thomas Schilling]

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.

/ Thomas