[eyelidlessness]

It doesn’t sound like we have any substantive disagreement other than potentially what GitHub’s role in it is or should be.