Bans are permanent — the account is renamed "BannedN", logged out, and can never sign in again. There's no undo yet.