From 3be4a50875dd52b5bd5b859ef5ef74b2f515a746 Mon Sep 17 00:00:00 2001 From: Gunnar Morling Date: Mon, 5 Feb 2024 10:17:19 +0100 Subject: [PATCH] Updating PR template --- .github/pull_request_template.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index ed779442c..f2860f2f4 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -1,6 +1,5 @@ **NOTE:** The challenge has been closed for new submissions. No new pull requests for adding submissions are accepted at this time. -Any pending pull requests will be reviewed over the next few days, as described [here](https://github.com/gunnarmorling/1brc/discussions/687). -The final leader board will be published by Feb 5. +The final leaderboard has been published on Feb 4. #### Check List: