I just `git reset --hard` the wrong stuff by accident. Classic™.

But because I keep my git repos in @Dropbox, I had a (versioned) backup!