Fighting with git: error: object file … is empty

I did eventually get git to give me back my repository. My steps are posted over on Stack Overflow in case it ever happens again. (Which is won’t because I’ll have a backup that isn’t Ubuntu One!)