From d35f46d4baf05388db59455b92762d5881d6f80f Mon Sep 17 00:00:00 2001 From: Xavier Noria Date: Tue, 11 May 2021 09:15:07 +0200 Subject: [PATCH] doc: fix spelling of GitHub in the FAQ (#454) --- doc/faq.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/faq.md b/doc/faq.md index eea101f9f0..c005653093 100644 --- a/doc/faq.md +++ b/doc/faq.md @@ -54,6 +54,6 @@ We expect similar independent checkers will be built for Lean 4. * Should I open a new issue? -We use [github](https://github.com/leanprover/lean4/issues) to track bugs and new features. +We use [GitHub](https://github.com/leanprover/lean4/issues) to track bugs and new features. Bug reports are always welcome, but nitpicking issues are not (e.g., the error message is confusing). RFC issues are created by developers only.