diff options
author | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-02-05 10:17:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-05 10:17:19 +0100 |
commit | 3be4a50875dd52b5bd5b859ef5ef74b2f515a746 (patch) | |
tree | ac58ae135bd46eff660528117264fa1d05d35395 | |
parent | 0f284680e8830c007c04d9d87192b495bc6d6bf1 (diff) |
Updating PR template
-rw-r--r-- | .github/pull_request_template.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index ed77944..f2860f2 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: |