From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 6 Jul 2020 23:06:55 +0000 (-0700)
Subject: [GitHub] Add link to fuzzing guidelines in issues (#4695)
X-Git-Tag: cvc5-1.0.0~3148
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae0bfbdacfec8b2d21b10cbc4955305f49a62a54;p=cvc5.git

[GitHub] Add link to fuzzing guidelines in issues (#4695)
---

diff --git a/.github/ISSUE_TEMPLATE/config.yml b/.github/ISSUE_TEMPLATE/config.yml
new file mode 100644
index 000000000..792a76d71
--- /dev/null
+++ b/.github/ISSUE_TEMPLATE/config.yml
@@ -0,0 +1,4 @@
+contact_links:
+  - name: Bugs found with fuzzers
+    url: https://github.com/CVC4/CVC4/wiki/Fuzzing-CVC4
+    about: Please read the guidelines before submitting bugs found with a fuzzer