Looking at the code, I see no way of deleting my user from the server. Is this true?

[edeustua]

Hi!

I was playing with atuin today and figured out that there is no way to delete my history from the server. Is this true? I might be missing something.

I essentially tried to delete everything, it didn't work, and the db got messed up producing non unique errors.

I would really like to remove ALL items from the server. Even though they are encrypted, I just don't want them up there. Having them flagged with deleted_at is not sufficient.

Thanks a lot for your help!