I would assume contributor agreements would be very important for issues like this if they were ever to go to court. But I doubt it would have been acknowledged

I would assume contributor agreements would be very important for issues like this if they were ever to go to court. But I doubt it would have been acknowledged by GitHub in their response to the complaint.