Should I ask support about a Github issue?

Support is not the correct channel to ask about open Github issues on an open source project (i.e, a project with public code that you can make a PR on).  Our development teams directly monitor GitHub issues, so we recommend that you follow up on the issue to communicate the impact or ask any follow up questions.

For more information on our support policies, see this document.