diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index f136f8fd499..62878045451 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -1,4 +1,3 @@ -# Which issue does this PR close? -Closes # -# Rationale for this change +### Rationale for this change -# What changes are included in this PR? +### What changes are included in this PR? -# Are these changes tested? +### Are these changes tested? -# Are there any user-facing changes? +### Are there any user-facing changes? ) from the pull request description. + body = re.sub(r"", "", self.body) # avoid github user name references by inserting a space after @ body = re.sub(r"@(\w+)", "@ \\1", self.body) commit_message_chunks.append(body)