From d62f88ca266b9b6b66debf0d8566e17ea53585b7 Mon Sep 17 00:00:00 2001 From: toastal Date: Thu, 14 Jan 2021 20:38:01 +0700 Subject: [PATCH 1/2] remove old pull request template --- .github/pull_request_template.md | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 .github/pull_request_template.md diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md deleted file mode 100644 index bc63733..0000000 --- a/.github/pull_request_template.md +++ /dev/null @@ -1,7 +0,0 @@ -### Prerequisites - -- [ ] Before opening a pull request, please check the HTML standard (https://dom.spec.whatwg.org/). If it doesn't appear in this spec, it may be present in the spec for one of the other `purescript-web` projects. Although MDN is a great resource, it is not a suitable reference for this project. - -### Description - - From 096561a5e6f93ddd39f4dc3e527337c3176ca839 Mon Sep 17 00:00:00 2001 From: toastal Date: Thu, 14 Jan 2021 20:44:09 +0700 Subject: [PATCH 2/2] add old prereq --- .github/PULL_REQUEST_TEMPLATE.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 4435abb..c8b4682 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -1,3 +1,8 @@ +**Prerequisites** + +- [ ] Before opening a pull request, please check the HTML standard (https://dom.spec.whatwg.org/). If it doesn't appear in this spec, it may be present in the spec for one of the other `purescript-web` projects. Although MDN is a great resource, it is not a suitable reference for this project. + + **Description of the change** Clearly and concisely describe the purpose of the pull request. If this PR relates to an existing issue or change proposal, please link to it. Include any other background context that would help reviewers understand the motivation for this PR.