Seems reasonable to me (though I think `git checkout --force` will handle the `git reset` for you unless there is an edge case I'm missing.