4 ms·they really should've done this as a pull request...by m0sa 10y agothey really should've done this as a pull request...OJFord 10y agoAgainst what repository? There's no github/github.Gaelan 10y agoYes there is, but it's a private repo so we see a 404. Beside the point.OJFord 10y agoRight, sorry, I meant to say 'public'. And I don't see that it is beside the point, because there's no other relevant and public repository that I can identify - no github/terms or whatever.Gaelan 10y agoI was saying my own comment was beside the point.