Well, those are the correct refs at least. Maybe the first set has been moved into .git/packed-refs (which has no case issues, naturally), and that's why the problem went away?
Anyway, it seems like "try once more" would be a good recomendation if pull fails on OS X. :-)