The executive order would only apply to federal government workers.