Well...we do accept pull requests if you have a fix for it. Or, if you report the bug, we'll fix it, normally within a day or three. But clearly you're an expert on this, so I look forward to receiving your pull request with the changes.
I'd like to point out that github isn't "flavor of the...