No, they don't ban Gmail in particular, they banned all non-NIC email providers in general. This is not a focused ban, it's a general ban. Obviously they want to have editorial control over government employee generated information.