Comment 10 for bug 532550

I'm a bit skeptical that the file rename is the key issue here: many other projects have filenames with spaces and dots, and it's not really the sort of error I would expect to get if there was an encoding problem with filename. It's just as likely that something about adding another commit, regardless of what was changed in it, is what worked around the problem.

Rather than guessing at the cause, I would try reproducing this by taking a branch from 2 revisions before the rename (r39), putting that on a smart server, and trying to push just r40 to it, which as far as I can tell is as close as we can get to the scenario that was failing for Joey.