I'm not sure why you think Github Issues isn't a bug reporting system. From what I have seen, that's its main purpose. Sure, you can do a pull request instead,

I'm not sure why you think Github Issues isn't a bug reporting system. From what I have seen, that's its main purpose. Sure, you can do a pull request instead, but most of the time people just report issues to the maintainers without providing a fix.