I import mail from another mail account/server into my Gmail.
I do not want to save a copy on this other server. I went into Gmail settings → Accounts and clicked edit info next to my external account and made sure that the box was unticked.
But it still saves a copy on the other server and now it's dangerously filling up that mailbox. Any ideas on how to truly delete that other copy on the other server?