From 35ccf7b1637f758b36bfa90af1dbd135ac372946 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 1 Feb 2023 12:06:46 -0800 Subject: [PATCH] chore: update CONTRIBUTING.md --- CONTRIBUTING.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 4abe84c09e..3074b883b7 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -15,6 +15,10 @@ community using the [lean4 Zulip channel](https://leanprover.zulipchat.com/#narr Simple fixes for **typos and clear bugs** are welcome. +# **IMPORTANT** + +We are currently overwhelmed. We respectfully request that you hold off on submitting Pull Requests and creating Request for Comments (RFCs) at this time. Our team is actively seeking funding to expand the Lean development team and improve our capacity to review and integrate contributions. We appreciate your understanding and look forward to being able to accept contributions in the near future. In the meantime, the process described in the following sections is temporarily suspended. + ## Documentation Tutorial-like examples are very welcome.