Acquiring github users may not be their highest priority.