[Hat] Is the CVS repo down?