2020-10-07 06:22:30 +00:00
|
|
|
If you open a GitHub Issue, here is our policy:
|
2020-11-10 17:53:01 +00:00
|
|
|
|
2020-11-23 18:10:07 +00:00
|
|
|
1. It must be a bug/performance issue or a feature request or a build issue or
|
|
|
|
|
a documentation issue (for small doc fixes please send a PR instead).
|
|
|
|
|
1. Make sure the Issue Template is filled out.
|
|
|
|
|
1. The issue should be related to the repo it is created in.
|
2018-10-12 20:20:20 +00:00
|
|
|
|
2018-10-16 21:12:29 +00:00
|
|
|
**Here's why we have this policy:** We want to focus on the work that benefits
|
|
|
|
|
the whole community, e.g., fixing bugs and adding features. Individual support
|
2019-06-04 20:10:19 +00:00
|
|
|
should be sought on Stack Overflow or other non-GitHub channels. It helps us to
|
2018-10-16 21:12:29 +00:00
|
|
|
address bugs and feature requests in a timely manner.
|
