bitwolf

For that reason I see why companies maintain private mirrors. Heck I want one myself in case any more get lost or removed.

I did read the whole thread. I also referenced the resolution further down the comment thread.

They’ve adjusted the error message to be abundantly clear after the fact.

Ah looking at issue 32459 it was addressed shortly after.

You’re right that it did originally say “Discard”.

I just tried right now to get the exact message.

Are you sure you want to DELETE foo?
This is IRREVERSIBLE!
This file will be FOREVER LOST if you proceed.

The confirmation button even says Delete File…

User error.

It does warn you it will erase the file when you discard…