Oh. People won't deal with changes from outside GH pull requests? Damn.
I literally facepalm'd.
(And, no, that wasn't about the issue tracker.)
Oh. People won't deal with changes from outside GH pull requests? Damn.