From 6cd88f5654d65fa2b27e758c38fef61383fbffc9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Hurlin?= Date: Fri, 29 Sep 2023 11:47:32 +0200 Subject: [PATCH] PR template: remove that changelog extension is requested twice --- .github/PULL_REQUEST_TEMPLATE.md | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 5aa49b3ce6..24f0df3a8d 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -40,7 +40,6 @@ to the issue. - [ ] Code is linted with `hlint`. See `.github/workflows/check-hlint.yml` to get the `hlint` version - [ ] Code is formatted with `stylish-haskell`. See `.github/workflows/stylish-haskell.yml` to get the `stylish-haskell` version - [ ] Code builds on Linux, MacOS and Windows for `ghc-8.10.7` and `ghc-9.2.7` -- [ ] The changelog section in the PR is updated to describe the change - [ ] Self-reviewed the diff