consequently only two full time developers were hired by red hat