From dd070452fae63b6b028de806971efde54bad4364 Mon Sep 17 00:00:00 2001 From: Wolfgang Jeltsch Date: Mon, 7 Mar 2022 01:29:00 +0200 Subject: [PATCH] =?UTF-8?q?Replace=20=E2=80=9Csubject=20line=E2=80=9D=20by?= =?UTF-8?q?=20=E2=80=9Ctitle=E2=80=9D=20regarding=20pull=20requests?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 06f80d2..27d2a03 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -30,7 +30,7 @@ When committing to this repository, please follow these rules: Merge `⟨other-branch⟩` into `⟨your-branch⟩` * When merging the branch of a pull request into the `master` branch, - put the subject line of the pull request into the body of the commit + put the title of the pull request into the body of the commit message and use a subject line of the following form: Merge `⟨branch⟩` of pull request #⟨pull-request-number⟩ into `master`