Comment by krainboltgreene

Given that Github is continuing with the product and marketing to us it feels sufficient to count that as a conclusion.