diff --git a/org.jacoco.doc/docroot/doc/faq.html b/org.jacoco.doc/docroot/doc/faq.html index 96aa3e73bd..0de289191e 100644 --- a/org.jacoco.doc/docroot/doc/faq.html +++ b/org.jacoco.doc/docroot/doc/faq.html @@ -37,6 +37,19 @@
+ All work on JaCoCo happens on a public GitHub repository. + We keep the issue tickets up to date and all discussions around an issue + happen exclusively here. If you can't see updates this means no one is working + on it. +
++ Please don't ask about the status on issues. There is no additional information + than you can already see. Really. The maintainers reserve the right to delete + such comments which do not provide any value to the solution. +
+See this list for current integrations with