Yes and it's a poor allocation of resources. Instead of hiring n designers they could have hired m SREs and it stands to reason we'd have a less-gamified GitHub

Yes and it's a poor allocation of resources. Instead of hiring n designers they could have hired m SREs and it stands to reason we'd have a less-gamified GitHub and a more stable GitHub. So plusses all around, I think.