Comment 10 for bug 125751

Revision history for this message
John Carr (johncarr) wrote : Re: yet another failing push

Not sure if this is the same bug or not. I don't get the tracebacks, but i do get the merge & push failure. Attaching a script that recreates it.