Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Frequently, if I try to
But then every now and then it "just works" as expected. So I suspect there is some kind of race condition happening here: temporary files being cleaned up too quickly or something like that. I'm not exactly sure though.