3 ms·So do we ignore the Github CEO or all the other ones?by dgfitz 1y agoSo do we ignore the Github CEO or all the other ones?