From d601a09273506b48d4d1dadcbf5b475476239f3d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Wojciech=20Dani=C5=82o?= Date: Wed, 8 Apr 2020 11:14:35 +0200 Subject: [PATCH] Update contributing.md Original commit: https://github.com/enso-org/ide/commit/ff64c11d8fe361d5df6b3fc554ce099f64f45795 --- gui/docs/contributing.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gui/docs/contributing.md b/gui/docs/contributing.md index 3486a2cf6ff..2a51c3fa1de 100644 --- a/gui/docs/contributing.md +++ b/gui/docs/contributing.md @@ -6,13 +6,14 @@ single one is appreciated.
## Reporting Issues -While it's never great to find a bug, they are a reality of software and software development! We -can't fix or improve on the things that we don't know about, so report as many bugs as you can! If -you're not sure whether something is a bug, file it anyway! **If you are concerned that your bug publicly presents a security risk to the users of Enso, please contact [security@enso.org](mailto:security@enso.org).** +While it's never great to find a bug, they are a reality of software and software development! We +can't fix or improve on the things that we don't know about, so report as many bugs as you can! If +you're not sure whether something is a bug, file it anyway! + Even though GitHub search can be a bit hard to use sometimes, we'd appreciate if you could [search](https://github.com/luna/enso/search?q=&type=Issues&utf8=%E2%9C%93) for your issue before filing a bug as it's possible that someone else has already reported the issue. We know the search