If you know that this is a bug, raise it as an issue on github.
If you don't know if it is a bug, then post it here and *not* as a github issue (until confirmed as a bug).
Don't post it on both at the same time.
Even worse (which you didn't do) would be to create multiple posts, each in a different subforum