How much influence with his stock will the github founder have in this case?