• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1If you open a GitHub Issue, here is our policy: 1. It must be a bug/performance
2issue or a feature request or a build issue or a documentation issue (for small
3doc fixes please send a PR instead). 2. Make sure the Issue Template is filled
4out. 3. The issue should be related to the repo it is created in.
5
6**Here's why we have this policy:** We want to focus on the work that benefits
7the whole community, e.g., fixing bugs and adding features. Individual support
8should be seeked on StackOverflow or other non-GitHub channels. It helps us to
9address bugs and feature requests in a timely manner.
10