Currently, you have to call `git_reflog_delete` to remove the reflog of a deleted branch.

I'm not exactly sure if that's a bug, though. I like that we're making sure the reflog gets updated, but the fact that there's no way to recover the data makes me want to give the caller the option (and mention this in the docs).