2020-10-07 08:22:30 +02:00
|
|
|
If you open a GitHub Issue, here is our policy:
|
2020-11-10 09:53:01 -08:00
|
|
|
|
2020-11-23 10:10:07 -08: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 13:20:20 -07:00
|
|
|
|
2018-10-16 14:12:29 -07: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 13:10:19 -07:00
|
|
|
should be sought on Stack Overflow or other non-GitHub channels. It helps us to
|
2018-10-16 14:12:29 -07:00
|
|
|
address bugs and feature requests in a timely manner.
|
